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í:
programming programming » programming programmed, programming program
interactive simulation » interactive simulations, interactive visualization
simulation programming » simulation program, recreation programming, simulation gaming
programming contracts » programming contract, programming constructs, programming constraints
https » http
programming programming » programming programmed, programming program
interactive simulation » interactive simulations, interactive visualization
simulation programming » simulation program, recreation programming, simulation gaming
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Vydáno 2015
Obsah:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2014
Obsah:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2007
Obsah:
“... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2010
Obsah:
“...Observables for Mobile and Wireless Broadcasting Systems -- Behavioural Contracts with Request...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2010
Obsah:
“... Monotonic Abstraction: A CEGAR for Parameterized Verification -- Information Flow in Interactive Systems...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2015
Obsah:
“...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2008
Obsah:
“... -- Taming Concurrency: A Program Verification Perspective -- Contributed Papers -- A Model of Dynamic...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2015
Obsah:
“... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2010
Obsah:
“... -- Virtual Simulation of Cultural Heritage Works Using Haptic Interaction -- Ethnicity as a Factor...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2005
Obsah:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2011
Obsah:
“...: Performance Studies of IEEE 802.11 a,b,g Laboratory Links -- 10. Interaction between the Mobile Phone...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2008
Obsah:
“... -- Counterexample Guided Spotlight Abstraction Refinement -- An Experimental Evaluation of Probabilistic Simulation...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2008
Obsah:
“...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2015
Obsah:
“... Programming.- Can Social Media Substitute Revolutionary Leaders? An Agent-Based Demonstration -- Simulating...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2010
Obsah:
“... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2005
Obsah:
“... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2007
Obsah:
“... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2005
Obsah:
“... for Document-Driven Workflow Systems -- Service Interaction Patterns -- Industrial Papers -- Modeling...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2008
Obsah:
“... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”Získat plný text
Elektronický zdroj
E-kniha



