Suchergebnisse - interactions transformation programming programming contract https

Andere Suchmöglichkeiten:
interactions transformation » interaction transformation , interactions biotransformation , international transformation
transformation programming » transformations programming , transformation programme , transformation programmed
programming programming » programming programmed , programming program
programming contract » programming contracts , programming constructs , programming constraint
contract https » control https , conflict https , contract nets

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

Veröffentlicht 2008

Inhaltsangabe: “... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2013

Inhaltsangabe: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... for Transformations of Reactive Synchronous Programs -- Theory -- On the Correspondence Between Conformance Testing...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “...Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2010

Inhaltsangabe: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2007

Inhaltsangabe: “... to Test Complex Software Applications -- Transformations of UML 2 Models Using Concrete Syntax Patterns...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2006

Inhaltsangabe: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... -- Robust Model Adaptation Using Mean and Variance Transformations in Linear Spectral Domain -- Using...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2005

Inhaltsangabe: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
Volltext

Elektronisch E-Book

Emerging Technologies for Information Systems, Computing, and Management

Veröffentlicht 2013

Inhaltsangabe: “... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2014

Inhaltsangabe: “... Systems Development -- Analysis of Agile Software Development from the Knowledge Transformation...”
Volltext

Elektronisch E-Book

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

Veröffentlicht 2015

Inhaltsangabe: “... involving interaction between metrics -- Content Based Image Retrieval system with a combination of Rough...”
Volltext

Elektronisch E-Book

Suche einschränken