Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing computing » developing competent, developing computer, developing coping
program developing » programs developing, programme developing, programmes developing
generation method » generation methods, iteration method, generalized method
method program » methods program, method programs, method programmed
https » http
developing computing » developing competent, developing computer, developing coping
program developing » programs developing, programme developing, programmes developing
generation method » generation methods, iteration method, generalized method
method program » methods program, method programs, method programmed
https » http
1
Published 2013
Table of Contents:
“...The state of the art in code generation -- Extreme model-driven development and jABC -- The Genesys...”View full text
Electronic
eBook
2
Table of Contents:
“...Risk Measures in Two-Stage Stochastic Programs -- Stochastic Dominance Constraints induced by Mixed...”
View full text
View full text
Electronic
eBook
3
Generative and Transformational Techniques in Software Engineering IV International Summer School...
Published 2013
Table of Contents:
“... and Adaptability for Evolving Application Development -- Requirements for Self-adaptation -- Dynamic Program...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... -- Generating Path Conditions for Timed Systems -- Software Model Checking: Searching for Computations...”View full text
Electronic
eBook
5
Published 2011
Table of Contents:
“... Rules Evolved by Genetic Programming? A Test of the Adaptive Efficiency of U.S. Stock Markets...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“...Model checking -- Theorem proving -- Static analysis -- Model-based development -- Runtime...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Reprogramming -- An Improved Method for Generating and Identifying Human Induced Pluripotent Stem Cells -- Using...”View full text
Electronic
eBook
8
by Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Published 2011
Table of Contents:
“...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...”Published 2011
View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“...Invited Talks -- A System Development Process with Event-B and the Rodin Platform -- Challenges...”View full text
Electronic
eBook
10
Published 2010
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
11
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
12
Table of Contents:
“... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...”
View full text
View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Precedence Diagram in Software Development Projects -- A Simple Method Using Multi-Core and Multiple GbE...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Based Programming -- Proof Obligation Generation and Discharging for Recursive Definitions in VDM...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Perceptual Layering Method -- Generating Human-Computer Micro-task Workflows from Domain Ontologies...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“....- PetriCode: A Tool for Template-Based Code Generation from CPN Models.- Twenty-Five Years of Formal Methods...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“...Toward Practical Application of Formal Methods in Software Lifecycle Processes -- Formal Methods...”View full text
Electronic
eBook
19
Published 2008
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... -- rCOS: Refinement of Component and Object Systems -- Program Generation and Components -- Assertion...”View full text
Electronic
eBook