الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
construction https » instruction https, construction history
program program » programs program, programming program
interface verification » interface specification, inference verification, interactive verification
verification program » verification problems, verification process, verification proving
construction https » instruction https, construction history
program program » programs program, programming program
1
منشور في 2008
جدول المحتويات:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2005
جدول المحتويات:
“... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
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...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
جدول المحتويات:
“...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2007
جدول المحتويات:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2010
جدول المحتويات:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
جدول المحتويات:
“... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2006
جدول المحتويات:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2008
جدول المحتويات:
“... and Heterogeneous Clusters -- Verification of Message Passing Programs -- Visual Debugging of MPI Applications...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
جدول المحتويات:
“...Verification Guidelines -- Data Types -- Procedural Statements and Routines -- Basic OOP...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2014
جدول المحتويات:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2007
جدول المحتويات:
“... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2012
جدول المحتويات:
“...Robot programming -- Languages and compilation techniques -- Real-time and fault tolerance...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2005
جدول المحتويات:
“... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2005
جدول المحتويات:
“... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2005
جدول المحتويات:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
جدول المحتويات:
“... Level Design of a Shared Memory System -- Specification of Interfaces -- Data Paths of Caches -- Cache...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2010
جدول المحتويات:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2013
جدول المحتويات:
“...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems...”احصل على النص الكامل
الكتروني
كتاب الكتروني