Søgeresultater - interactions transformations programming programming contract https

Søg alternativer:
interactions transformations » interactions transformation , interaction transformation , interactive transformations
transformations programming » transformation programme , transformation program
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 /

Udgivet 2008

Indholdsfortegnelse: “... OCL -- Extracting Object Interactions Out of Software Contracts Using Model Transformations....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... for Transformations of Reactive Synchronous Programs -- Theory -- On the Correspondence Between Conformance Testing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... of Transformations in Compiler Back-Ends -- Accurate Theorem Proving for Program Verification -- Designing Safe...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... Contextual Reasoning in Ambient Intelligence -- Enhancing a Smart Space with Answer Set Programming...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “...Model Transformation -- Bidirectional Model Transformations in QVT: Semantic Issues and Open...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2010

Indholdsfortegnelse: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... to Test Complex Software Applications -- Transformations of UML 2 Models Using Concrete Syntax Patterns...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “...Validity Checking of Put back Transformations in Bidirectional Programming -- Proof Engineering...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... for Managing Large Business Process Specifications -- Transforming BPEL to Petri Nets -- Event-Based...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... -- Robust Model Adaptation Using Mean and Variance Transformations in Linear Spectral Domain -- Using...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Reconstruction in Diffusion Tensor MRI -- Interactive 3D Heart Chamber Partitioning with a New Marker-Controlled...”
Få fuldtekst

Electronisk eBog

Emerging Technologies for Information Systems, Computing, and Management

Udgivet 2013

Indholdsfortegnelse: “... -- P-Hub Airline Network Design Incorporating Interaction Between Elastic Demand and Network Structure...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... Systems Development -- Analysis of Agile Software Development from the Knowledge Transformation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... involving interaction between metrics -- Content Based Image Retrieval system with a combination of Rough...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning