Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https developing » hits developing, steps developing, crops developing
critical https » clinical https, critical arts, critical hpe
testing java » testing japan, detecting java, testing james
https developing » hits developing, steps developing, crops developing
critical https » clinical https, critical arts, critical hpe
testing java » testing japan, detecting java, testing james
1
Publicado 2008
Table of Contents:
“... Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing...”Ligazón do recurso
Electrónico
eBook
2
Subjects:
“...Image Processing and Computer Vision. https://scigraph.springernature.com/ontologies/product-market...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
3
Publicado 2013
Table of Contents:
“... An Enterprise Software System Didn't Work As Planned -- Problems in the interplay of IS development...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... about Digital Citizenship and Responsibility -- Faculty Driven Assessment of Critical Thinking: National...”Ligazón do recurso
Electrónico
eBook
5
Table of Contents:
“... -- The critical problems existing with the old-established software engineering paradigm -- The foundation...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
6
Publicado 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2007
Table of Contents:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2008
Table of Contents:
“... -- On the Formal Development of Safety-Critical Software -- Verify Your Runs -- Specified Blocks -- A Case...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2005
Table of Contents:
“... in Software Testing – An Agent-Based Approach for Complex Systems -- MurO: A Multi-representation Ontology...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2007
Table of Contents:
“... Development -- Evolution and Agents -- EQ-Mine: Predicting Short-Term Defects for Software Evolution...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2015
Table of Contents:
“... and Data Models: A Roadmap for Developing Architecture Variants -- Evaluation of JavaScript Maintainability...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2006
Table of Contents:
“... JavaTM for Safety-Critical Applications -- POSIX Trace Based Behavioural Reflection -- Static Analysis...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“... an Executable TTCN-3 Markov Chain Usage Model -- Language-Critical Development of Process-Centric Application...”Ligazón do recurso
Electrónico
eBook
14
Subjects:
“...Image Processing and Computer Vision. https://scigraph.springernature.com/ontologies/product-market...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook