Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
interface verification » interface specification, inference verification, interactive verification
verification programs » verification program, certification programs, fortification programs
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
programs program » programming program
interface verification » interface specification, inference verification, interactive verification
verification programs » verification program, certification programs, fortification programs
program constructing » program construction, diagram constructing, programs conducting
constructing https » construction https, consulting https, constructing better
programs program » programming program
1
Vydáno 2008
Obsah:
“... Parallelism in Haskell -- Minimal Ownership for Active Objects -- Type-Based Deadlock-Freedom Verification...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2005
Obsah:
“... for Dead Code Elimination in Esterel??? -- Compositional Verification and Games -- Synthesis of Interface...”Získat plný text
Elektronický zdroj
E-kniha
3
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Vydáno 2007
Obsah:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2007
Obsah:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”Získat plný text
Elektronický zdroj
E-kniha
5
Obsah:
“...SystemVerilog and Verification (The Why and How) -- Why SystemVerilog? -- OOP and SystemVerilog...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2010
Obsah:
“... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”Získat plný text
Elektronický zdroj
E-kniha
7
Obsah:
“... and Design -- 4.2 The Interface Construct -- 4.3 Stimulus Timing -- 4.4 Interface Driving and Sampling -- 4.5...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2008
Obsah:
“... and Heterogeneous Clusters -- Verification of Message Passing Programs -- Visual Debugging of MPI Applications...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2006
Obsah:
“... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”Získat plný text
Elektronický zdroj
E-kniha
10
Obsah:
“...Verification Guidelines -- Data Types -- Procedural Statements and Routines -- Basic OOP...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2014
Obsah:
“....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2007
Obsah:
“... -- Refining Interface Alphabets for Compositional Verification -- MAVEN: Modular Aspect Verification...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2012
Obsah:
“...Robot programming -- Languages and compilation techniques -- Real-time and fault tolerance...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2005
Obsah:
“... -- Interface-Based Design -- The Dependent Delegate Dilemma -- System and Program Verification, Model Checking...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2005
Obsah:
“... Programs -- Specification and Verification of Encapsulation in Java Programs -- Detecting Errors...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2005
Obsah:
“... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2013
Obsah:
“...Stochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2005
Obsah:
“... Modeling – A ”Constructive” Exploration -- DynaMo-AID: A Design Process and a Runtime Architecture...”Získat plný text
Elektronický zdroj
E-kniha
19
Obsah:
“... Level Design of a Shared Memory System -- Specification of Interfaces -- Data Paths of Caches -- Cache...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2010
Obsah:
“... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”Získat plný text
Elektronický zdroj
E-kniha