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