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