Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
https developments » its developments, fats developments, matters developments
developments java » development java, developments data, developments have
selection method » detection method, detection methods, collection methods
method https » methods https
https developments » its developments, fats developments, matters developments
developments java » development java, developments data, developments have
selection method » detection method, detection methods, collection methods
method https » methods https
1
Published 2005
Table of Contents:
“... -- Towards a Precise UML-Based Development Method -- Tutorials -- Fault Tolerance – Concepts...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...Part: Principles of Large-Scale Agile Development -- Towards Principles of Large-Scale Agile...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Refinement Techniques -- Project Zeppelin: A Modern Web Application Development Framework -- The ParaPhrase...”View full text
Electronic
eBook
4
Published 2010
Subjects:
“...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...”View full text
Electronic
eBook
5
Table of Contents:
“...Introducing HTML and JavaScript -- HTML Document Basics -- HTML Tables, Forms, Lists, and Frames...”
View full text
View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... of Formal Analysis into a Model-Based Software Development Process -- Formal Verification with Isabelle/HOL...”View full text
Electronic
eBook
7
Published 2015
Table of Contents:
“... Specification -- Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... of Exception Handlers with Enforcer -- Model-Based Test Selection for Infinite-State Reactive Systems...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... the FlexRay Startup Phase -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... Algorithm for Geoscientific Modelling -- Evaluating Methods for Interpolating Continuous Surfaces from...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... in Developing Countries -- Selecting Patterns for the Evaluation of Systems -- Effectiveness of Collaborative...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... in Mexico -- Does A Code Review Tool Evolve As the DeveloperIntended? -- Analysis of Mouth Shape Deformation...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... for Java -- Active Components as a Method for Coupling Data and Services – A Database-Driven Application...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...”View full text
Electronic
eBook
19
Published 2015
Table of Contents:
“... for Timed Process Algebra -- A Proof-based Method for Modeling Timed Systems -- Asymptotic Speedups...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...”View full text
Electronic
eBook