Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming validating » programming evaluating, programming writing, programming balancing
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
validating program » evaluating program, facilitating program, evaluating programs
program https » programs https, program has, program help
programming validating » programming evaluating, programming writing, programming balancing
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
validating program » evaluating program, facilitating program, evaluating programs
program https » programs https, program has, program help
1
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Microcontrollers in Safety-Critical Automotive Applications -- Timing Validation of Automotive Software -- Model...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... -- Tools in Scientific Workflow Composition -- Tools in Scientific Workflow Composition -- Workflows...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... and Dynamic Attribute-Based Ensembles in SCEL -- On Programming and Policing Autonomic Computing Systems...”View full text
Electronic
eBook
7
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
8
Published 2013
Table of Contents:
“... Compositions -- Method Shells: Avoiding Conflicts on Destructive Class Extensions by Implicit Context Switches...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...-WS: A Methodology for Specifying and Validating Web Service Compositions -- Software Technology...”View full text
Electronic
eBook
10
Published 2006
Table of Contents:
“... -- Validating the Microsoft Hypervisor -- Formal Modelling of Systems -- Interface Input/Output Automata...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... -- Specification debugging -- Formal validation of specifications -- Use of formal methods in safety cases -- Use...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... – An Algorithmic Approach -- Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... -- Graph Transformation -- Incremental Service Composition Based on Partial Matching of Visual Contracts...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... -- Machine-Assisted Proof Support for Validation Beyond Simulink -- VeSTA: A Tool to Verify the Correct...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... -- Assume–Guarantee -- Towards a Compositional SPIN -- Partial Order Reduction -- Exploiting Symmetry...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Invited Speakers -- Security Issues in Service Composition -- Separating Distribution from...”View full text
Electronic
eBook