Resultados de procura - interactions transformations programming programming contracts https

Search alternatives:
interactions transformations » interactions transformation , interaction transformation , interactive transformations
transformations programming » transformation programme , transformation program
programming programming » programming programmed , programming program
programming contracts » programming contract , programming constructs , programming constraints
https » http

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

Publicado 2008

Table of Contents: “... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”
Ligazón do recurso

Electrónico eBook

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

Publicado 2013

Table of Contents: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Ligazón do recurso

Electrónico 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...

Publicado 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Ligazón do recurso

Electrónico 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...

Publicado 2005

Table of Contents: “... for Transformations of Reactive Synchronous Programs -- Theory -- On the Correspondence Between Conformance Testing...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2006

Table of Contents: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
Ligazón do recurso

Electrónico 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...

Publicado 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2007

Table of Contents: “...Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2010

Table of Contents: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2007

Table of Contents: “... to Test Complex Software Applications -- Transformations of UML 2 Models Using Concrete Syntax Patterns...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2014

Table of Contents: “...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “... for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2006

Table of Contents: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “... -- Robust Model Adaptation Using Mean and Variance Transformations in Linear Spectral Domain -- Using...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2005

Table of Contents: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
Ligazón do recurso

Electrónico eBook

Emerging Technologies for Information Systems, Computing, and Management

Publicado 2013

Table of Contents: “... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2014

Table of Contents: “... Systems Development -- Analysis of Agile Software Development from the Knowledge Transformation...”
Ligazón do recurso

Electrónico eBook

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

Publicado 2015

Table of Contents: “... involving interaction between metrics -- Content Based Image Retrieval system with a combination of Rough...”
Ligazón do recurso

Electrónico eBook

Resultados Agrupados