Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
integration computing » integration competing, interaction computing, integration computer
computing programming » computer programming, computers programming
programming contracts » programming contract, programming constructs, programming constraints
https » http
programming programming » programming programmed, programming program
integration computing » integration competing, interaction computing, integration computer
computing programming » computer programming, computers programming
programming contracts » programming contract, programming constructs, programming constraints
https » http
1
Table of Contents:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
View full text
View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”View full text
Electronic
eBook
8
Published 2011
Table of Contents:
“...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”View full text
Electronic
eBook
10
Table of Contents:
“...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
View full text
View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”View full text
Electronic
eBook
15
Table of Contents:
“...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
View full text
View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”View full text
Electronic
eBook
17
Table of Contents:
“...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
View full text
View full text
Electronic
eBook
18
Published 2011
Table of Contents:
“....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”View full text
Electronic
eBook