Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
programs computer » programming computer, forms computer
program programs » program program, programs program, program progress
computer https » computers https, computing https, computer arts
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
programs computer » programming computer, forms computer
program programs » program program, programs program, program progress
computer https » computers https, computing https, computer arts
1
Udgivet 2010
Indholdsfortegnelse:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“... and Generalized Polynomial Time Memory Consistency Verification -- Session 18. Shape Analysis -- Programs...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2007
Indholdsfortegnelse:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”Få fuldtekst
Electronisk
eBog
4
Indholdsfortegnelse:
“... -- Communication Structures -- The Verification and Validation Life Cycle -- Traceability Analysis -- Interface...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
5
Indholdsfortegnelse:
“...C++ and Verification (The Why and How) -- Why C++? -- OOP, C++, and Verification -- A Layered...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
6
Udgivet 2007
Indholdsfortegnelse:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2005
Indholdsfortegnelse:
“... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2006
Indholdsfortegnelse:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”Få fuldtekst
Electronisk
eBog
9
af Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Udgivet 2011
Indholdsfortegnelse:
“.... Propositional Logic -- 4. First-Order Logic -- 5. Hoare Logic -- 6. Generating Verification Conditions -- 7...”Udgivet 2011
Få fuldtekst
Electronisk
eBog
10
Udgivet 2014
Indholdsfortegnelse:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2008
Indholdsfortegnelse:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2007
Indholdsfortegnelse:
“... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”Få fuldtekst
Electronisk
eBog
14
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
15
Udgivet 2008
Indholdsfortegnelse:
“... Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2012
Indholdsfortegnelse:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2012
Indholdsfortegnelse:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2005
Indholdsfortegnelse:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2010
Indholdsfortegnelse:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2007
Indholdsfortegnelse:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Få fuldtekst
Electronisk
eBog