Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
integration method » integration methods, iteration method, generation method
method program » methods program, method programs, method programmed
program https » programs https, program has, program help
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
integration method » integration methods, iteration method, generation method
method program » methods program, method programs, method programmed
program https » programs https, program has, program help
1
Published 2010
Table of Contents:
“... to Pervasively Verified Applications -- A Compositional Method for Deciding Equivalence and Termination...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“..., Compositional, and On-The-Fly Verification Methods -- Chunks: Component Verification in CSP ? B -- Session...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... on TSO Architectures -- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset...”View full text
Electronic
eBook
4
Table of Contents:
“...Introduction and Technical Preliminaries -- Composition of Schema Mappings: Syntax and Semantics...”
View full text
View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... in Software Certification -- Security and Knowledge -- Integrating Formal Methods with System Management...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”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 2014
Table of Contents:
“... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...”View full text
Electronic
eBook
10
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
11
Published 2005
Table of Contents:
“... Analysis -- Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...-RT Active Classes via Mapping into Circus -- Security -- Towards an Integrated Formal Analysis...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“...Graphical Composition of Grid Services -- A UML 2.0 Profile for Architecting B3G Applications...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...”View full text
Electronic
eBook
17
Published 2012
Table of Contents:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...”View full text
Electronic
eBook
19
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
20
Published 2014
Table of Contents:
“... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”View full text
Electronic
eBook