Zoekresultaten - integration relations programming program contracts https

Alternatieven:
integration relations » integration reactions , integration reflections , integration regulation
relations programming » recreation programming , applications programming , simulation programming
programming program » programming programmed , programming problem , programming problems
program contracts » programme contract , program abstracts , program controls
https » http

Legal Programming Designing Legally Compliant RFID and Software Agent Architectures for Retail Processes and Beyond /

door Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Gepubliceerd in 2005

Inhoudsopgave: “...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Volledige tekst

Elektronisch E-boek

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Gepubliceerd in 2013

Inhoudsopgave: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Volledige tekst

Elektronisch E-boek

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...

Gepubliceerd in 2013

Inhoudsopgave: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
Volledige tekst

Elektronisch E-boek

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: “... -- Are Refactoring Practices Related to Clusters in Java Software? -- Social Contracts, Simple Rules and Self...”
Volledige tekst

Elektronisch E-boek

Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005...

Gepubliceerd in 2006

Inhoudsopgave: “... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”
Volledige tekst

Elektronisch E-boek

Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006...

Gepubliceerd in 2007

Inhoudsopgave: “... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”
Volledige tekst

Elektronisch E-boek

Integrated Water Management Practical Experiences and Case Studies /

Gepubliceerd in 2008

Inhoudsopgave: “...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”
Volledige tekst

Elektronisch E-boek

Ada 2012 Rationale The Language -- The Standard Libraries /

door Barnes, John., Barnes, John.
Gepubliceerd in 2013

Inhoudsopgave: “...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
Volledige tekst

Elektronisch E-boek

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”
Volledige tekst

Elektronisch E-boek

Software Composition 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers /

Gepubliceerd in 2006

Inhoudsopgave: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2006

Inhoudsopgave: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Volledige tekst

Elektronisch E-boek

Pro PHP Patterns, Frameworks, Testing and More /

door McArthur, Kevin., McArthur, Kevin.
Gepubliceerd in 2008

Inhoudsopgave: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
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

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

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

Gepubliceerd in 2007

Inhoudsopgave: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Volledige tekst

Elektronisch E-boek

Component-Based Software Testing with UML

door Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Gepubliceerd in 2005

Inhoudsopgave: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Volledige tekst

Elektronisch E-boek

Agent-Oriented Software Engineering XI 11th International Workshop, AOSE XI, Toronto, Canada, May 10-11, 2010, Revised Selected Papers /

Gepubliceerd in 2011

Inhoudsopgave: “....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”
Volledige tekst

Elektronisch E-boek

Rules and Rule Markup Languages for the Semantic Web First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “...-Contracts in Defeasible Logic -- Merging and Aligning Ontologies in dl-Programs -- A Visual Environment...”
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: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken