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