Search Results - interface specification programs programs containing https

Search alternatives:
interface specification » service specification
specification programs » specification program , specifications program , specification programming
programs containing » programs maintaining , programs combining , programs concerning
programs programs » programs program , program program , problems programs
containing https » containing herpes , containing crops , containing his

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005, Proceedings /

Published 2005

Table of Contents: “... Compiler for AspectJ -- Certifiable Program Generation -- Domain-Specific Language -- A Generative...”
View full text

Electronic eBook

From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor...

Published 2014

Table of Contents: “....- Steps towards Scenario-Based Programming with a Natural Language Interface.- Assembly Theories...”
View full text

Electronic eBook

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Published 2005

Table of Contents: “... Features -- The Drawing Carousel: A Pair Programming Experience -- Agile Development with Domain Specific...”
View full text

Electronic eBook

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings /

Published 2010

Table of Contents: “... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”
View full text

Electronic eBook

Usability and Internationalization. Global and Local User Interfaces Second International...

Published 2007

Table of Contents: “... for Facilitating eBay Transactions Using Skype -- Localization in Korea of User Interface of the 3G Mobile Handset...”
View full text

Electronic eBook

Rigorous Software Development An Introduction to Program Verification /

by Almeida, José Bacelar., Almeida, José Bacelar., Frade, Maria João., Pinto, Jorge Sousa., Melo de Sousa, Simão.
Published 2011

Table of Contents: “.... Safety Properties -- 8. Procedures and Contracts -- 9. Specifying C Programs -- 10. Verifying C Programs...”
View full text

Electronic eBook

Compiler Design Syntactic and Semantic Analysis /

by Wilhelm, Reinhard., Wilhelm, Reinhard., Seidl, Helmut., Hack, Sebastian.
Published 2013

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

Software Language Engineering Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers /

Published 2011

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

An Introduction to HTML and JavaScript for Scientists and Engineers /

by Brooks, David R., Brooks, David R.
Published 2007

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

Software Composition 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers /

Published 2007

Table of Contents: “... Approach to Workflow Specification and Refinement -- Generic Feature-Based Software Composition...”
View full text

Electronic eBook

Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västeras, Sweden, June 29 - July 1, 2006, Proceedings /

Published 2006

Table of Contents: “... the Analytic Hierarchy Process -- From Specification to Experimentation: A Software Component Search Engine...”
View full text

Electronic eBook

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Published 2005

Table of Contents: “... Interface Specifications -- Synthesis of Distributed Systems from Knowledge-Based Specifications....”
View full text

Electronic eBook

Conceptual Modeling - ER 2008 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Query Containment under Access Limitations -- Similarity and Coherence -- Automatic Extraction...”
View full text

Electronic eBook

The Definitive Guide to Java Swing

by Zukowski, John., Zukowski, John.
Published 2005

Table of Contents: “... Containers -- Pop-Ups and Choosers -- Layout Managers -- Advanced Swing Containers -- Bounded Range...”
View full text

Electronic eBook

Reliable Software Technologies -- Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings /

Published 2006

Table of Contents: “... of Java Programs for Scenario-Based Specifications -- Applications -- Secure Execution of Computations...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...”
View full text

Electronic eBook

Robotic Fabrication in Architecture, Art and Design 2014

Published 2014

Subjects: “...User Interfaces and Human Computer Interaction. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II...

Published 2012

Table of Contents: “... Protocol in the Timed OTS/CafeOBJ Method.- Formal Specification and Verification of Task Time Constraints...”
View full text

Electronic eBook

UML Modeling Languages and Applications <<UML>> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... on Aspect-Oriented Modeling -- Software Architecture Description and UML -- SVERTS – Specification...”
View full text

Electronic eBook

Narrow Search