Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
integrating verification » integration verification, integrity verification, interactive verification
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
integrating verification » integration verification, integrity verification, interactive verification
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
1
Publié 2008
Table des matières:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Accéder au texte intégral
Électronique
eBook
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publié 2013
Table des matières:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Accéder au texte intégral
Électronique
eBook
3
Publié 2013
Table des matières:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”Accéder au texte intégral
Électronique
eBook
5
Publié 2014
Table des matières:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Accéder au texte intégral
Électronique
eBook
6
Publié 2007
Table des matières:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”Accéder au texte intégral
Électronique
eBook
7
Publié 2007
Table des matières:
“... and Expanding Deadlines? -- Quality of Service, Runtime Verification and Monitoring -- Performance Assessment...”Accéder au texte intégral
Électronique
eBook
8
Publié 2006
Table des matières:
“... Composability -- Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems -- Enforcing...”Accéder au texte intégral
Électronique
eBook
9
Publié 2006
Table des matières:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”Accéder au texte intégral
Électronique
eBook
10
Publié 2011
Table des matières:
“... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”Accéder au texte intégral
Électronique
eBook
11
Publié 2015
Table des matières:
“...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”Accéder au texte intégral
Électronique
eBook
12
Publié 2013
Table des matières:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”Accéder au texte intégral
Électronique
eBook
13
Publié 2010
Table des matières:
“... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”Accéder au texte intégral
Électronique
eBook
14
Publié 2014
Table des matières:
“... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”Accéder au texte intégral
Électronique
eBook
15
Publié 2014
Table des matières:
“... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”Accéder au texte intégral
Électronique
eBook
16
Publié 2005
Table des matières:
“... -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation...”Accéder au texte intégral
Électronique
eBook
17
Publié 2014
Table des matières:
“... Thirty Years from Now -- Formal Semantics, Specification and Verification -- Verifying Compilation...”Accéder au texte intégral
Électronique
eBook
18
Publié 2013
Table des matières:
“... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”Accéder au texte intégral
Électronique
eBook
19
Publié 2008
Table des matières:
“... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”Accéder au texte intégral
Électronique
eBook
20
Publié 2008
Table des matières:
“... Will Rule -- Rule Engineering -- Development and Verification of Rule Based Systems — A Survey of Developers...”Accéder au texte intégral
Électronique
eBook