Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
programmed computer » programming computer, programs computer, program computer
program programmed » program program, programming programmed, programmes programme
computer https » computers https, computing https, computer arts
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
programmed computer » programming computer, programs computer, program computer
program programmed » program program, programming programmed, programmes programme
computer https » computers https, computing https, computer arts
1
Publicado 2010
Tabla de Contenidos:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”Enlace del recurso
Electrónico
eBook
2
Publicado 2006
Tabla de Contenidos:
“... and Generalized Polynomial Time Memory Consistency Verification -- Session 18. Shape Analysis -- Programs...”Enlace del recurso
Electrónico
eBook
3
Publicado 2007
Tabla de Contenidos:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”Enlace del recurso
Electrónico
eBook
4
Tabla de Contenidos:
“... -- Communication Structures -- The Verification and Validation Life Cycle -- Traceability Analysis -- Interface...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
5
Tabla de Contenidos:
“...C++ and Verification (The Why and How) -- Why C++? -- OOP, C++, and Verification -- A Layered...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
6
Publicado 2007
Tabla de Contenidos:
“... with a Web Interface -- Web Sites Verification: An Abductive Logic Programming Tool -- Visual Logic...”Enlace del recurso
Electrónico
eBook
7
Publicado 2005
Tabla de Contenidos:
“... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”Enlace del recurso
Electrónico
eBook
8
por Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Publicado 2011
Tabla de Contenidos:
“.... Propositional Logic -- 4. First-Order Logic -- 5. Hoare Logic -- 6. Generating Verification Conditions -- 7...”Publicado 2011
Enlace del recurso
Electrónico
eBook
9
Publicado 2014
Tabla de Contenidos:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Enlace del recurso
Electrónico
eBook
10
Publicado 2006
Tabla de Contenidos:
“... of Teamworking Systems -- Towards Model Checking Stochastic Aspects of the thinkteam User Interface -- Incident...”Enlace del recurso
Electrónico
eBook
11
Tabla de Contenidos:
“...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
12
Publicado 2008
Tabla de Contenidos:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”Enlace del recurso
Electrónico
eBook
13
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publicado 2007
Tabla de Contenidos:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Enlace del recurso
Electrónico
eBook
14
Publicado 2007
Tabla de Contenidos:
“... to Facilitate Adaptive User Interfaces -- Toward Quality-Driven Development of 3D Computer Games -- Group...”Enlace del recurso
Electrónico
eBook
15
Publicado 2008
Tabla de Contenidos:
“... Toolkit for Plastic User Interfaces -- Executable Models for Human-Computer Interaction -- A Middleware...”Enlace del recurso
Electrónico
eBook
16
Publicado 2012
Tabla de Contenidos:
“....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”Enlace del recurso
Electrónico
eBook
17
Publicado 2012
Tabla de Contenidos:
“...Linux Driver Verification (Position Paper).- Bioscientific Data Processing and Modeling.- Using...”Enlace del recurso
Electrónico
eBook
18
Publicado 2005
Tabla de Contenidos:
“... Programming Language -- Computer Science Education -- A Program Verification System Based on Oz -- Higher...”Enlace del recurso
Electrónico
eBook
19
Publicado 2010
Tabla de Contenidos:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Enlace del recurso
Electrónico
eBook
20
Publicado 2007
Tabla de Contenidos:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Enlace del recurso
Electrónico
eBook