Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming context » programming contest, programming convex, programming concept
context https » context helps, concepts https, control https
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming context » programming contest, programming convex, programming concept
context https » context helps, concepts https, control https
1
Publicat 2013
Taula de continguts:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”Obtenir text complet
Electrònic
eBook
2
Publicat 2007
Taula de continguts:
“... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”Obtenir text complet
Electrònic
eBook
3
Publicat 2006
Taula de continguts:
“... -- Towards Structured Contexts and Modules -- Towards Temporal Contextual Logic Programming -- Semantic...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“...: Abstracting Away Higher-Orderness for Program Verification -- Local Reasoning for Storable Locks and Threads...”Obtenir text complet
Electrònic
eBook
6
Publicat 2007
Taula de continguts:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Obtenir text complet
Electrònic
eBook
7
Publicat 2006
Taula de continguts:
“... Logic Programming Language with Persistence and Contexts -- On a Rough Sets Based Data Mining Tool...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...”Obtenir text complet
Electrònic
eBook
9
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publicat 2006
Taula de continguts:
“... -- Context-Sensitive Multivariant Assertion Checking in Modular Programs -- Representation of Partial...”Obtenir text complet
Electrònic
eBook
10
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicat 2013
Taula de continguts:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”Obtenir text complet
Electrònic
eBook
11
Taula de continguts:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
12
Publicat 2007
Taula de continguts:
“... Social Structures and Task Modelling Integration -- Towards Model-Driven Development of Staged...”Obtenir text complet
Electrònic
eBook
13
Publicat 2007
Taula de continguts:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Obtenir text complet
Electrònic
eBook
14
Publicat 2006
Taula de continguts:
“... Composability -- Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems -- Enforcing...”Obtenir text complet
Electrònic
eBook
15
Publicat 2008
Taula de continguts:
“... -- Contextual Integration Testing of Classes -- An Automatic Verifier for Java-Like Programs Based on Dynamic...”Obtenir text complet
Electrònic
eBook
16
Taula de continguts:
“... Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... Business Process Context -- Services Computing -- Collaborative Filtering Technique for Web Service...”Obtenir text complet
Electrònic
eBook
18
Publicat 2006
Taula de continguts:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”Obtenir text complet
Electrònic
eBook
19
Publicat 2007
Taula de continguts:
“... -- An Integrated Regression Testing Framework to Multi-Threaded Java Programs -- DynAlloy as a Formal Method...”Obtenir text complet
Electrònic
eBook
20
Publicat 2015
Taula de continguts:
“... Specifications -- Testing and Fault Localization -- BPEL Integration Testing -- Facilitating Reuse in Multi-goal...”Obtenir text complet
Electrònic
eBook