Rezultati - interactive specification program programming contract nets

Poišči alternative:
interactive specification » interaction specifications , interactive sonification , interactive verification
specification program » specifications program , verification program , purification program
programming contract » programming contracts , programming constructs , programming constraint
program programming » programs programming , programmer programming , pram programming
contract nets » contract net , contract need , contract new

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

Izdano 2005

Kazalo: “... -- Contributed Papers -- Games Other People Play -- Type-Directed Concurrency -- Multiport Interaction Nets...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2014

Kazalo: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Polni tekst

Elektronski eKnjiga

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /

Izdano 2015

Kazalo: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
Polni tekst

Elektronski eKnjiga

Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings /

Izdano 2008

Kazalo: “... Systems -- Adapting Petri Nets Reductions to Promela Specifications -- Verification of a Hierarchical...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2008

Kazalo: “... Ontology-Based Semantics to Process Models: The Case of Petri Nets -- On the Duality of Information-Centric...”
Polni tekst

Elektronski eKnjiga

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings /

Izdano 2007

Kazalo: “...Invited Talk -- Contracts for BIP: Hierarchical Interaction Models for Compositional Verification...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2007

Kazalo: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Polni tekst

Elektronski eKnjiga

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Izdano 2005

Kazalo: “... for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based...”
Polni tekst

Elektronski eKnjiga

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

Izdano 2005

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

Elektronski eKnjiga

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

Izdano 2006

Kazalo: “... -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification...”
Polni tekst

Elektronski eKnjiga

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - N...

Izdano 2005

Kazalo: “... -- Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank...”
Polni tekst

Elektronski eKnjiga

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...

Izdano 2007

Kazalo: “... Operators in Stochastic Domains -- Competitive Contract Net Protocol -- Agent Oriented Methodology...”
Polni tekst

Elektronski eKnjiga

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Izdano 2010

Kazalo: “... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...”
Polni tekst

Elektronski eKnjiga

Zoži iskanje