Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing programs » processing programmed, processing problems, processing products
methods processing » methods preprocessing, methods proceedings, methods processes
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
processing programs » processing programmed, processing problems, processing products
methods processing » methods preprocessing, methods proceedings, methods processes
programs compiling » programs combining, programs compiler, programs containing
compiling https » computing https, counseling https, consulting https
1
Published 2007
Table of Contents:
“... Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...Invited Papers -- A Family of Mathematical Methods for Professional Software Documentation...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Programming -- Methods and Tools -- A Metamodel for Modeling and Measuring Scrum Development Process...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“...Foundation and Rationale for Agile Methods -- A Distributed Cognition Account of Mature XP Teams...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Development Methods: The Case of the Prisoner Dilemma and Extreme Programming -- A Framework for Understanding...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... and Informal Modeling Languages -- Model Checking -- Model-Checking of Specifications Integrating Processes...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...-Fielding Projects -- A Repository of Agile Method Fragments -- OAP: Toward a Process for an Open World...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Process Improvement: A Discussion and Strengthening Using the SPI Manifesto -- Integrated Design – A Set...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... by Translating Object-Z to SMV -- Introducing Time in an Industrial Application of Model-Checking -- Integration...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“...-Based System for Process Planning in Cold Forging Using the Adjustment of Stepped Cylinder Method...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Pattern Matching -- Persistent Oberon: A Programming Language with Integrated Persistence -- More Typed...”View full text
Electronic
eBook