Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
processing programs » processing programmed, processing problems, processing products
integration method » integration methods, iteration method, generation method
method processing » metal processing, method process, methods preprocessing
case https » use https, change https
care https » change https
processing programs » processing programmed, processing problems, processing products
integration method » integration methods, iteration method, generation method
method processing » metal processing, method process, methods preprocessing
case https » use https, change https
care https » change https
1
Publicat 2007
Taula de continguts:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”Obtenir text complet
Electrònic
eBook
2
Publicat 2014
Taula de continguts:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”Obtenir text complet
Electrònic
eBook
4
Publicat 2005
Taula de continguts:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”Obtenir text complet
Electrònic
eBook
6
Publicat 2006
Taula de continguts:
“... the Agile Documentation Process Test-Case Driven Documentation Demonstration for the XP2006 Conference...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes...”Obtenir text complet
Electrònic
eBook
8
Publicat 2014
Taula de continguts:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Obtenir text complet
Electrònic
eBook
9
Publicat 2007
Taula de continguts:
“...Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”Obtenir text complet
Electrònic
eBook
12
Publicat 2014
Taula de continguts:
“... -- Collecting Valuable Information from Fast Text Streams -- An AUML State Machine Based Method for Multi-agent...”Obtenir text complet
Electrònic
eBook
13
Publicat 2006
Taula de continguts:
“...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...”Obtenir text complet
Electrònic
eBook
14
Publicat 2008
Taula de continguts:
“... Case Point Method -- Session A2 – Measurement Programs -- Software Measurement @ Siemens – A Practical...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”Obtenir text complet
Electrònic
eBook
16
Publicat 2012
Taula de continguts:
“... Recognition Case Study -- Effect of Luminance Gradients in Measurement of Differential Limen -- Robust...”Obtenir text complet
Electrònic
eBook
17
Publicat 2008
Taula de continguts:
“... for the Software Release Planning Process — Based on a Multiple Industrial Case Study -- From CMMI to SPICE...”Obtenir text complet
Electrònic
eBook
18
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd...
Publicat 2013
Taula de continguts:
“... Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level...”Obtenir text complet
Electrònic
eBook
19
Publicat 2006
Taula de continguts:
“... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obtenir text complet
Electrònic
eBook