Suchergebnisse - interactive constraint programming program contract https

1

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Veröffentlicht 2015

Inhaltsangabe: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Volltext

Elektronisch E-Book

2

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State...”
Volltext

Elektronisch E-Book

3

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Veröffentlicht 2014

Inhaltsangabe: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Volltext

Elektronisch E-Book

4

Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Veröffentlicht 2005

Inhaltsangabe: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Volltext

Elektronisch E-Book

5

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
Volltext

Elektronisch E-Book

6

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /

Veröffentlicht 2013

Inhaltsangabe: “... Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility...”
Volltext

Elektronisch E-Book

7

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Veröffentlicht 2010

Inhaltsangabe: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Volltext

Elektronisch E-Book

8

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Volltext

Elektronisch E-Book

9

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Volltext

Elektronisch E-Book

10

Information Systems Development Asian Experiences /

Veröffentlicht 2011

Inhaltsangabe: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
Volltext

Elektronisch E-Book

11

Computers and Education: Towards Educational Change and Innovation

Veröffentlicht 2008

Inhaltsangabe: “... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”
Volltext

Elektronisch E-Book

12

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Veröffentlicht 2008

Inhaltsangabe: “... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”
Volltext

Elektronisch E-Book

13

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Veröffentlicht 2005

Inhaltsangabe: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Volltext

Elektronisch E-Book

14

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /

Veröffentlicht 2007

Inhaltsangabe: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Volltext

Elektronisch E-Book

15

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “... and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service...”
Volltext

Elektronisch E-Book

16

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Veröffentlicht 2005

Inhaltsangabe: “...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”
Volltext

Elektronisch E-Book

17

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /

Veröffentlicht 2006

Inhaltsangabe: “... -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification...”
Volltext

Elektronisch E-Book

18

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Veröffentlicht 2012

Inhaltsangabe: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Volltext

Elektronisch E-Book

19

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Veröffentlicht 2007

Inhaltsangabe: “... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”
Volltext

Elektronisch E-Book

20

Research and Development in Intelligent Systems XXX Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI Internationa...

Veröffentlicht 2013

Inhaltsangabe: “... Learning and Constraint Programming -- The Importance of Topology Evolution in NeuroEvolution: A Case Study...”
Volltext

Elektronisch E-Book

Suche einschränken