Search Results - interface automatic programming programming contract https

Search alternatives:
programming programming » programming programmed , programming program
automatic programming » quadratic programming , stochastic programming , mathematical programming
programming contract » programming contracts , programming constructs , programming constraint
interface automatic » interface automation , interface automata , interface automated
contract https » control https , conflict https , contract nets

Software Composition 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers /

Published 2006

Table of Contents: “...Automatic Checking of Component Protocols in Component-Based Systems -- Checking Component...”
View full text

Electronic eBook

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Published 2006

Table of Contents: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology...”
View full text

Electronic eBook

Controlled Natural Language Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009, Revised Papers /

Published 2010

Table of Contents: “... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...”
View full text

Electronic eBook

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers /

Published 2006

Table of Contents: “...Doing More with Contracts: Towards Automatic Tests and Proofs -- Using Stepwise Feature...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Forward Stepping and Alternative Paths -- Semi-automatic Generation of Web Services and BPEL Processes – A...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Architecture into the Semantic Web -- RDFS Reasoning and Query Answering on Top of DHTs -- An Interface-Based...”
View full text

Electronic eBook

Web Information Systems and Technologies Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers /

Published 2008

Table of Contents: “...Invited Papers -- Programming Support and Governance for Process-Oriented Software Autonomy...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Technologies -- Automatic Testing of Object-Oriented Software -- Architecture-Based Reasoning About...”
View full text

Electronic eBook

Emerging Trends in Computing, Informatics, Systems Sciences, and Engineering

Published 2013

Table of Contents: “... Their Procurement Spending and Introduce Greater Competition in Public Sector Contracting.-Models for Some Smart...”
View full text

Electronic eBook

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Deductive Systems for RDF -- Semantic Web Services -- Web Service Contracting: Specification and Reasoning...”
View full text

Electronic eBook

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Published 2005

Table of Contents: “... of Visual Search Interfaces for the Web – Design and Empirical Evaluation of a Book Search Interface...”
View full text

Electronic eBook

Digital Enterprise Technology Perspectives and Future Challenges /

Published 2007

Table of Contents: “... Manufacturing In Automotive Plants -- Modeling Services In Information Systems Architectures -- Automatic...”
View full text

Electronic eBook

Industrial Engineering, Management Science and Applications 2015

Published 2015

Table of Contents: “...; Markus Philipp Roessler, et al -- Automatic Oil Palm Detection and Identification from Multi-scale...”
View full text

Electronic eBook

Narrow Search