Canlyniadau Chwilio - integrated integration programming programming contracts https

Chwilio eraill:
programming programming » programming programmed , programming program
integration programming » integrated programming , interactive programming , integration program
integrated integration » integration integration , integral integration , integrals integration
programming contracts » programming contract , programming constructs , programming constraints
https » http

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

gan Subirana, Brian., Subirana, Brian., Bain, Malcolm.
Cyhoeddwyd 2005

Tabl Cynhwysion: “...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”
Cael y testun llawn

Electronig eLyfr

Integrated Water Management Practical Experiences and Case Studies /

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”
Cael y testun llawn

Electronig eLyfr

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

gan Sachs, Anna-Lena., Sachs, Anna-Lena.
Cyhoeddwyd 2015

Tabl Cynhwysion: “... Demand and Substitution -- Empirical Newsvendor Decisions under a Service Contract -- Conclusions....”
Cael y testun llawn

Electronig eLyfr

Ada 2012 Rationale The Language -- The Standard Libraries /

gan Barnes, John., Barnes, John.
Cyhoeddwyd 2013

Tabl Cynhwysion: “...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
Cael y testun llawn

Electronig eLyfr

Pro PHP Patterns, Frameworks, Testing and More /

gan McArthur, Kevin., McArthur, Kevin.
Cyhoeddwyd 2008

Tabl Cynhwysion: “...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2011

Tabl Cynhwysion: “... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”
Cael y testun llawn

Electronig eLyfr

Component-Based Software Testing with UML

gan Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Cyhoeddwyd 2005

Tabl Cynhwysion: “...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2007

Tabl Cynhwysion: “...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2011

Tabl Cynhwysion: “....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2013

Tabl Cynhwysion: “... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”
Cael y testun llawn

Electronig eLyfr

1
2
3
4
5
Nesaf »
[5]

Manylu'r Chwiliad