Suggestion de sujets dans votre recherche.
Recherches alternatives:
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
programs computing » programs compiling, programs conducting, problems computing
program programs » program program, programs program, program progress
https » http
1
Image de couverture de livre
Publié 2010
Table des matières: “... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
2
Image de couverture de livre
Publié 2006
Table des matières: “... and Generalized Polynomial Time Memory Consistency Verification -- Session 18. Shape Analysis -- Programs...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
3
Image de couverture de livre
Publié 2007
Table des matières: “... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
4
Image de couverture de livre
Table des matières: “... -- Communication Structures -- The Verification and Validation Life Cycle -- Traceability Analysis -- Interface...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
5
Image de couverture de livre
Table des matières: “...C++ and Verification (The Why and How) -- Why C++? -- OOP, C++, and Verification -- A Layered...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
6
Image de couverture de livre
Publié 2007
Table des matières: “... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
7
Image de couverture de livre
Publié 2005
Table des matières: “... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
8
Image de couverture de livre
Publié 2006
Table des matières: “... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
9
Image de couverture de livre
Publié 2014
Table des matières: “....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
10
Image de couverture de livre
Publié 2008
Table des matières: “... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
11
Image de couverture de livre
Publié 2007
Table des matières: “... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
12
Image de couverture de livre
Table des matières: “.... Propositional Logic -- 4. First-Order Logic -- 5. Hoare Logic -- 6. Generating Verification Conditions -- 7...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
13
Image de couverture de livre
Table des matières: “...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
14
Image de couverture de livre
Publié 2007
Table des matières: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
15
Image de couverture de livre
Publié 2012
Table des matières: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
16
Image de couverture de livre
Publié 2012
Table des matières: “...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
17
Image de couverture de livre
Publié 2008
Table des matières: “... Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
18
Image de couverture de livre
Publié 2005
Table des matières: “... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
19
Image de couverture de livre
Publié 2010
Table des matières: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
20
Image de couverture de livre
Publié 2007
Table des matières: “..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel — Enregistrer la recherche