Zoekresultaten - integrated evaluation programming programming contracts https

Alternatieven:
programming programming » programming programmed , programming program
evaluation programming » evaluating programming , evolution programming , variation programming
integrated evaluation » interfaces evaluation , integrated production , integrated navigation
programming contracts » programming contract , programming constructs , programming constraints
https » http

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

Gepubliceerd in 2005

Inhoudsopgave: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
Volledige tekst

Elektronisch E-boek

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
Volledige tekst

Elektronisch E-boek

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing /

Gepubliceerd in 2011

Inhoudsopgave: “... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”
Volledige tekst

Elektronisch E-boek

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers /

Gepubliceerd in 2015

Inhoudsopgave: “...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... Cardinality for Finite Fuzzy Sets -- Choquet-Integral-Based Evaluations by Fuzzy Rules: Methods for Developing...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2010

Inhoudsopgave: “... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”
Volledige tekst

Elektronisch E-boek

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Gepubliceerd in 2014

Inhoudsopgave: “... -- An Evaluation of the Effectiveness of the Atomic Section Model -- Model Transformation 1 -- Parsing in a Broad...”
Volledige tekst

Elektronisch E-boek

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Gepubliceerd in 2014

Inhoudsopgave: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2007

Inhoudsopgave: “... -- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs -- Model Composition in Product...”
Volledige tekst

Elektronisch E-boek

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Gepubliceerd in 2005

Inhoudsopgave: “... on Grid Platform -- The University of Virginia Campus Grid: Integrating Grid Technologies with the Campus...”
Volledige tekst

Elektronisch E-boek

Testing Commercial-off-the-Shelf Components and Systems

Gepubliceerd in 2005

Inhoudsopgave: “... -- Evaluating the Integrability of COTS Components — Software Product Family Viewpoint -- A User-Oriented...”
Volledige tekst

Elektronisch E-boek

Information Systems Development Asian Experiences /

Gepubliceerd in 2011

Inhoudsopgave: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
Volledige tekst

Elektronisch E-boek

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Gepubliceerd in 2008

Inhoudsopgave: “... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...”
Volledige tekst

Elektronisch E-boek

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Gepubliceerd in 2010

Inhoudsopgave: “... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”
Volledige tekst

Elektronisch E-boek

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”
Volledige tekst

Elektronisch E-boek

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... through Evolutionary Algorithms -- The Expressive Power of SPARQL -- Integrating Object-Oriented...”
Volledige tekst

Elektronisch E-boek

Conceptual Modeling 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding /

Gepubliceerd in 2012

Inhoudsopgave: “... -- Process Modeling I.-Evaluation Measures for Similarity Search Results in Process Model Repositories...”
Volledige tekst

Elektronisch E-boek

From Model-Driven Design to Resource Management for Distributed Embedded Systems IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006) October 11-...

Gepubliceerd in 2006

Inhoudsopgave: “... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2006

Inhoudsopgave: “... with Differential Parsing -- Web Browsers as Service-Oriented Clients Integrated with Web Services -- Interaction...”
Volledige tekst

Elektronisch E-boek

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken