Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
interface verification » interface specification, inference verification, interactive verification
constraints https » constraints haptic, constraints data, constraints chap
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
interface verification » interface specification, inference verification, interactive verification
constraints https » constraints haptic, constraints data, constraints chap
1
Udgivet 2007
Indholdsfortegnelse:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2005
Indholdsfortegnelse:
“... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”Få fuldtekst
Electronisk
eBog
4
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Udgivet 2007
Indholdsfortegnelse:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2007
Indholdsfortegnelse:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2012
Indholdsfortegnelse:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2012
Indholdsfortegnelse:
“... Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”Få fuldtekst
Electronisk
eBog
9
Indholdsfortegnelse:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
10
Udgivet 2008
Indholdsfortegnelse:
“... -- Proofs and Refutations for Probabilistic Refinement -- Assume-Guarantee Verification for Interface...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2007
Indholdsfortegnelse:
“... Information -- Web Services, Late Composition and Verification -- Capturing Web Services Provider Constraints...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2006
Indholdsfortegnelse:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2006
Indholdsfortegnelse:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2014
Indholdsfortegnelse:
“... for Marrying Static and Dynamic Program Verification -- A Case Study on Verification of a Cloud Hypervisor...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2012
Indholdsfortegnelse:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2015
Indholdsfortegnelse:
“... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“... Application of Geometric Semantics to Static Analysis of Concurrent Programs -- Verification of Qualitative...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2014
Indholdsfortegnelse:
“... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“...Invited Session I -- Protocol System Integration, Interface and Interoperability -- Session I...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“... Applications -- Conceptual Modelling -- Incremental Evaluation of OCL Constraints -- Object-Relational...”Få fuldtekst
Electronisk
eBog