Search Results - interface compositive programming programming contract https

Search alternatives:
programming programming » programming programmed , programming program
compositive programming » copositive programming , comparative programming , cooperative programming
interface compositive » interface composition , interface cognitive , interface composing
programming contract » programming contracts , programming constructs , programming constraint
contract https » control https , conflict https , contract nets

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /

Published 2007

Table of Contents: “...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... with Temporal Logic -- Service Composition with Directories -- Modeling Composition in Dynamic Programming...”
View full text

Electronic eBook

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Published 2005

Table of Contents: “... of the Equator: An eXPerience Implementing XP in Brazil -- Introducing Extreme Programming into a Software...”
View full text

Electronic eBook

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Published 2007

Table of Contents: “... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...”
View full text

Electronic eBook

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010, Proceedings /

Published 2010

Table of Contents: “... Interfaces, Contracts and Adapters of Component-Based Systems -- Component Contracts in Eclipse - A Case...”
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 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... of Exposing Calls and Returns -- A Compositional Approach to the Stochastic Dynamics of Gene Networks...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... and Assessment Tool for IT Governance Decision Support -- Ensuring Transactional Reliability by E-Contracting...”
View full text

Electronic eBook

Computers and Education: Towards Educational Change and Innovation

Published 2008

Table of Contents: “... -- An Experiment in Collaborative Writing -- The ‘Contract’ as a Pedagogical Tool in e-Learning -- Development of a...”
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: “... -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product...”
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

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

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: “... and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can...”
View full text

Electronic eBook

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /

Published 2007

Table of Contents: “...Graphical Composition of Grid Services -- A UML 2.0 Profile for Architecting B3G Applications...”
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: “... Based Logs -- Behavior Based Integration of Composite Business Processes -- Visualization Support...”
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: “... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”
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

Narrow Search