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