Search Results - interactive specification programming programming constructs https

Search alternatives:
interactive specification » interaction specifications , interactive sonification , interactive verification
specification programming » verification programming , identification programming , specification program
programming programming » programming programmed , programming program
programming constructs » programming concepts , programming contest
constructs https » construction https , constructs loops , constructs arti

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

Constructing Correct Software

by Cooke, D. John., Cooke, D. John.
Published 2005

Table of Contents: “...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
View full text

Electronic eBook

OpenMP Shared Memory Parallel Programming International Workshop, IWOMP 2005 and IWOMP 2006, Eugene...

Published 2008

Table of Contents: “... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Published 2006

Table of Contents: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
View full text

Electronic eBook

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Published 2012

Table of Contents: “..., the Reals, and the Real Algebraic Numbers -- Construction of Real Algebraic Numbers in Coq -- A Refinement...”
View full text

Electronic eBook

Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS...

Published 2005

Table of Contents: “... Usability Testing in a Component-Based Environment: Improving Test Efficiency with Component-Specific...”
View full text

Electronic eBook

Software Development and Professional Practice

by Dooley, John., Dooley, John.
Published 2011

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

Categories for Software Engineering

by Fiadeiro, Jose Luiz., Fiadeiro, Jose Luiz.
Published 2005

Table of Contents: “...Basics -- Introducing Categories -- Building Categories -- Universal Constructions -- Functors...”
View full text

Electronic eBook

Principles of the Spin Model Checker

by Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Published 2008

Table of Contents: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text

Electronic eBook

Software Process Modeling

Published 2005

Table of Contents: “...Socio-Technical Interaction Networks in Free/Open Source Software Development Processes -- Open...”
View full text

Electronic eBook

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Published 2008

Table of Contents: “... -- Modular Reasoning in Object-Oriented Programming -- Scalable Specification and Reasoning: Challenges...”
View full text

Electronic eBook

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings /

Published 2007

Table of Contents: “... and Reason About Context -- Situation Specification and Realization in Rule-Based Context-Aware Applications...”
View full text

Electronic eBook

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Published 2008

Table of Contents: “... -- Distributed AI: Autonomous Agents, Multi-Agent Systems and Game Theory -- Enhancing the Interaction between...”
View full text

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

Published 2010

Table of Contents: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
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: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
View full text

Electronic eBook

Topical Themes in Energy and Resources A Cross-Disciplinary Education and Training Program for Environmental Leaders /

Published 2015

Table of Contents: “... in Construction: Sludge and Recycling -- Recycling of waste plastics -- Recent resource and environmental issues...”
View full text

Electronic eBook

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”
View full text

Electronic eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
View full text

Electronic eBook

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”
View full text

Electronic eBook

Narrow Search