Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
selection method » detection method, detection methods, collection methods
java developing » data developing, java development, drama developing
developing java » developing a, developing asia, developing areas
method java » method jazz, methane java, method james
https » http
selection method » detection method, detection methods, collection methods
java developing » data developing, java development, drama developing
developing java » developing a, developing asia, developing areas
method java » method jazz, methane java, method james
https » http
1
Published 2005
Table of Contents:
“... -- Towards a Precise UML-Based Development Method -- Tutorials -- Fault Tolerance – Concepts...”View full text
Electronic
eBook
2
Table of Contents:
“...Introducing HTML and JavaScript -- HTML Document Basics -- HTML Tables, Forms, Lists, and Frames...”
View full text
View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“...Part: Principles of Large-Scale Agile Development -- Towards Principles of Large-Scale Agile...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Refinement Techniques -- Project Zeppelin: A Modern Web Application Development Framework -- The ParaPhrase...”View full text
Electronic
eBook
5
Published 2010
Subjects:
“...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...”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 2007
Table of Contents:
“... of Exception Handlers with Enforcer -- Model-Based Test Selection for Infinite-State Reactive Systems...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Automated Formal Methods -- Multicore Embedded Systems: The Timing Problem and Possible Solutions -- Theorem...”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 2010
Table of Contents:
“... in Developing Countries -- Selecting Patterns for the Evaluation of Systems -- Effectiveness of Collaborative...”View full text
Electronic
eBook
13
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
14
by Nwogbaga, Nweso Emmanuel, Latip, Rohaya, Affendey, Lilly Suriani, Abdul Rahiman, Amir Rizaan
Published 2022
“... device selection. The proposed method uses a rank accuracy estimation model to decide the rank-1 value...”Published 2022
Article
15
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
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 2005
Table of Contents:
“... Grid Developments in the OpenMolGRID Project -- ATLAS Data Challenge 2: A Massive Monte Carlo...”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 2010
Table of Contents:
“... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Method State Machines -- My Favorite Editor Anywhere -- Invited Paper -- Combining System Development...”View full text
Electronic
eBook