Search Results - integrals components programming program constructs https

Search alternatives:
components programming » component programming , computers programming , complete programming
integrals components » integral component , integrated components , integration components
programming program » programming programmed , programming problem , programming problems
program constructs » program construction , program constructing , programming constructs
constructs https » construction https , constructs loops , constructs arti

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

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

Electronic eBook

Component-Based Software Testing with UML

by Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Published 2005

Table of Contents: “...Component-Based and Model-Driven Development with UML -- Model-Based Testing with UML -- Built...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
View full text

Electronic eBook

Integrated Research in GRID Computing CoreGRID Integration Workshop 2005 (Selected Papers) November 28-30, Pisa, Italy /

Published 2007

Table of Contents: “... -- Adaptable Parallel Components for Grid Programming -- Skeleton Parallel Programming and Parallel Objects...”
View full text

Electronic eBook

Integrated Uncertainty Management and Applications

Published 2010

Table of Contents: “...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...”
View full text

Electronic eBook

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Published 2010

Table of Contents: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
View full text

Electronic eBook

AdvancED Flex 3

by Tiwari, Shashank., Tiwari, Shashank., Elrom, Elad.
Published 2008

Table of Contents: “...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...”
View full text

Electronic eBook

Beginning Google Web Toolkit From Novice to Professional /

by Smeets, Bram., Smeets, Bram., Boness, Uri., Bankras, Roald.
Published 2008

Table of Contents: “... -- Component Based UI construction -- Widgets.-Panels -- GWT Events -- Summary -- Building Advance UI...”
View full text

Electronic eBook

The Essential Guide to Flex 3

by Brown, Charles., Brown, Charles.
Published 2008

Table of Contents: “...Flex Basics -- Flex and Flex Builder 3 -- Actionscript -- Containers -- Events and Components...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”
View full text

Electronic eBook

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “... and Verification -- Tracing Integration Analysis in Component-Based Formal Specifications -- CompAr: Ensuring Safe...”
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: “...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”
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: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
View full text

Electronic eBook

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Published 2013

Table of Contents: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
View full text

Electronic eBook

Reliable Software Technologies - Ada-Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings /

Published 2007

Table of Contents: “... by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach -- A Metamodel-Driven Process...”
View full text

Electronic eBook

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
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

Software Architecture 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings /

Published 2010

Table of Contents: “... for Dynamic Reconfiguration in Service-Oriented Architectures -- Integrating Requirements and Design Decisions...”
View full text

Electronic eBook

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Published 2008

Table of Contents: “... of Product Differentiation and Reuse -- Integrating Component and Product Lines Technologies -- Feature...”
View full text

Electronic eBook

Narrow Search