Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
constraints https » constraints haptic, constraints data, constraints chap
integration verification » integrity verification, location verification, integration applications
verification programming » specification programming, identification programming, verification program
programming programming » programming programmed, programming program
programming constraints » programming constraint, programming constrained, programming constructs
constraints https » constraints haptic, constraints data, constraints chap
1
Julkaistu 2007
Sisällysluettelo:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2012
Aiheet:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2013
Sisällysluettelo:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2013
Sisällysluettelo:
“... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2007
Sisällysluettelo:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2005
Sisällysluettelo:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2006
Sisällysluettelo:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2008
Sisällysluettelo:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2006
Sisällysluettelo:
“... for Safety Verification and Testing of Aspect-Oriented Systems -- Model-Based Testing of Thin-Client Web...”Hae kokoteksti
Elektroninen
E-kirja
10
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Julkaistu 2008
Sisällysluettelo:
“... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2012
Sisällysluettelo:
“... Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2012
Sisällysluettelo:
“... Programming Language for Provably Correct Dynamic Analyses.- Eternal Embedded Software: Towards Innovation...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2006
Sisällysluettelo:
“...-Library for C++ -- Constraint Solving for Sequences in Software Validation and Verification -- Using a...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2014
Sisällysluettelo:
“... -- Integrating Software and Hardware Verification -- Code Generation for Event-B -- Verifying Linearizability...”Hae kokoteksti
Elektroninen
E-kirja
15
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Julkaistu 2006
Sisällysluettelo:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2005
Sisällysluettelo:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2007
Sisällysluettelo:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”Hae kokoteksti
Elektroninen
E-kirja
18
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Julkaistu 2013
Sisällysluettelo:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”Hae kokoteksti
Elektroninen
E-kirja
19
Sisällysluettelo:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
20