Sökresultat - interaction transformation programming programming contracts https

Menade du:
interaction transformation » interactions transformation , interactive transformations , extraction transformation
transformation programming » transformations programming , transformation programme , transformation programmed
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 /

Publicerad 2008

Innehållsförteckning: “... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2013

Innehållsförteckning: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... for Transformations of Reactive Synchronous Programs -- Theory -- On the Correspondence Between Conformance Testing...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “...Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2007

Innehållsförteckning: “... to Test Complex Software Applications -- Transformations of UML 2 Models Using Concrete Syntax Patterns...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2005

Innehållsförteckning: “... -- Robust Model Adaptation Using Mean and Variance Transformations in Linear Spectral Domain -- Using...”
Hämta fulltext

Elektronisk E-bok

Emerging Technologies for Information Systems, Computing, and Management

Publicerad 2013

Innehållsförteckning: “... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... Systems Development -- Analysis of Agile Software Development from the Knowledge Transformation...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2015

Innehållsförteckning: “... involving interaction between metrics -- Content Based Image Retrieval system with a combination of Rough...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen