Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing computing » developing competent, developing computer, developing coping
integration method » integration methods, iteration method, generation method
program developing » programs developing, programme developing, programmes developing
method program » methods program, method programs, method programmed
https » http
developing computing » developing competent, developing computer, developing coping
integration method » integration methods, iteration method, generation method
program developing » programs developing, programme developing, programmes developing
method program » methods program, method programs, method programmed
https » http
1
Published 2005
Table of Contents:
“...: System Development -- Agile Formal Method Engineering -- An Automated Failure Mode and Effect Analysis...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”View full text
Electronic
eBook
5
Subjects:
“...Mathematics of Computing. https://scigraph.springernature.com/ontologies/product-market-codes/I...”
View full text
View full text
Electronic
eBook
6
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
View full text
View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods -- Projective Brane Calculus...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... of Time-Constrained Portfolio Transactions -- Semidefinite Programming Approaches for Bounding Asian...”View full text
Electronic
eBook
10
Subjects:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Integration: Present and Future -- Surveying the Solitudes: An Investigation into the Relationships between...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
13
Table of Contents:
“... and locally optimal designs for Gaussian Universal Kriging -- Exploitation, integration and statistical...”
View full text
View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”View full text
Electronic
eBook
15
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
16
Published 2010
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
17
Table of Contents:
“...Basic Results -- Inversion Formulae and Practical Results -- The Method of Series Expansion...”
View full text
View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Practitioners -- The Relevance of Transdisciplinary Teaching and Learning for the Successful Integration...”View full text
Electronic
eBook