Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
integrating verification » integration verification, integrity verification, interactive verification
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... and Expanding Deadlines? -- Quality of Service, Runtime Verification and Monitoring -- Performance Assessment...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... Composability -- Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems -- Enforcing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2011
Inhaltsangabe: “... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Requirements -- Semantically Configurable Analysis of Scenario-Based Specifications -- Formal Verification...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... -- Tools for Programming, Code Generation, and Design -- Tools for Verification and Validation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Thirty Years from Now -- Formal Semantics, Specification and Verification -- Verifying Compilation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Will Rule -- Rule Engineering -- Development and Verification of Rule Based Systems — A Survey of Developers...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern