Søgeresultater - integrals integration programming programming contract https

Søg alternativer:
programming programming » programming programmed , programming program
integration programming » integrated programming , interactive programming , integration program
integrals integration » integral integration , integration integration , interface integration
programming contract » programming contracts , programming constructs , programming constraint
contract https » control https , conflict https , contract nets

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

af Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Udgivet 2005

Indholdsfortegnelse: “...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”
Få fuldtekst

Electronisk eBog

Integrated Water Management Practical Experiences and Case Studies /

Udgivet 2008

Indholdsfortegnelse: “...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2013

Indholdsfortegnelse: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2005

Indholdsfortegnelse: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2014

Indholdsfortegnelse: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
Få fuldtekst

Electronisk eBog

Ada 2012 Rationale The Language -- The Standard Libraries /

af Barnes, John., Barnes, John.
Udgivet 2013

Indholdsfortegnelse: “...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
Få fuldtekst

Electronisk eBog

Pro PHP Patterns, Frameworks, Testing and More /

af McArthur, Kevin., McArthur, Kevin.
Udgivet 2008

Indholdsfortegnelse: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2011

Indholdsfortegnelse: “... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”
Få fuldtekst

Electronisk eBog

Component-Based Software Testing with UML

af Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Udgivet 2005

Indholdsfortegnelse: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Få fuldtekst

Electronisk eBog

Retail Analytics Integrated Forecasting and Inventory Management for Perishable Products in Retailing /

af Sachs, Anna-Lena., Sachs, Anna-Lena.
Udgivet 2015

Indholdsfortegnelse: “... Demand and Substitution -- Empirical Newsvendor Decisions under a Service Contract -- Conclusions....”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2007

Indholdsfortegnelse: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2011

Indholdsfortegnelse: “....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”
Få fuldtekst

Electronisk eBog

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Få fuldtekst

Electronisk eBog

1
2
3
4
5
Næste »
[5]

Indsnæver søgning