Search Results - interactions transformations programming program contracts https

Search alternatives:
interactions transformations » interactions transformation , interaction transformation , interactive transformations
transformations programming » transformation programme , transformation program
programming program » programming programmed , programming problem , programming problems
program contracts » programme contract , program abstracts , program controls
https » http

Theory and Practice of Model Transformations First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings /

Published 2008

Table of Contents: “... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... for Transformations of Reactive Synchronous Programs -- Theory -- On the Correspondence Between Conformance Testing...”
View full text

Electronic eBook

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

Published 2013

Table of Contents: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
View full text

Electronic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers /

Published 2006

Table of Contents: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
View full text

Electronic eBook

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
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 Third International Workshop, RISE 2006, Geneva, Switzerland, September 13-15, 2006. Revised Selected Papers /

Published 2007

Table of Contents: “... to Test Complex Software Applications -- Transformations of UML 2 Models Using Concrete Syntax Patterns...”
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: “...Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open...”
View full text

Electronic eBook

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings /

Published 2014

Table of Contents: “...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...”
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: “... for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based...”
View full text

Electronic eBook

Service-Oriented Computing - ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, Proceedings /

Published 2006

Table of Contents: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
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: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
View full text

Electronic eBook

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Robust Model Adaptation Using Mean and Variance Transformations in Linear Spectral Domain -- Using...”
View full text

Electronic eBook

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”
View full text

Electronic eBook

Perspectives in Business Informatics Research 13th International Conference, BIR 2014, Lund, Sweden, September 22-24, 2014, Proceedings /

Published 2014

Table of Contents: “... Systems Development -- Analysis of Agile Software Development from the Knowledge Transformation...”
View full text

Electronic eBook

New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering

Published 2015

Table of Contents: “... involving interaction between metrics -- Content Based Image Retrieval system with a combination of Rough...”
View full text

Electronic eBook

Narrow Search