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
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
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
por Xiong, Jay., Xiong, Jay.
Publicado 2011
Table of Contents: ... -- The critical problems existing with the old-established software engineering paradigm -- The foundation...
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
Electrónico eBook