Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
programming programming » programming programmed, programming program
integration programming » integrated programming, interactive programming, integration program
integrated integration » integration integration, integral integration, integrals integration
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
programming programming » programming programmed, programming program
integration programming » integrated programming, interactive programming, integration program
integrated integration » integration integration, integral integration, integrals integration
programming contract » programming contracts, programming constructs, programming constraint
contract https » control https, conflict https, contract nets
1
Sisällysluettelo:
“...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2006
Sisällysluettelo:
“... Aspects Implement Contracts? -- Aspects-Classes Integration Testing Strategy: An Incremental Approach...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2007
Sisällysluettelo:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2008
Sisällysluettelo:
“...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2013
Sisällysluettelo:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Hae kokoteksti
Elektroninen
E-kirja
6
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Julkaistu 2013
Sisällysluettelo:
“... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2005
Sisällysluettelo:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2014
Sisällysluettelo:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”Hae kokoteksti
Elektroninen
E-kirja
9
Sisällysluettelo:
“... Demand and Substitution -- Empirical Newsvendor Decisions under a Service Contract -- Conclusions....”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
10
Sisällysluettelo:
“...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
11
Sisällysluettelo:
“...OOP and Patterns -- Abstract Classes, Interfaces, and Programming by Contract -- Static Variables...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2007
Sisällysluettelo:
“... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2006
Sisällysluettelo:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2006
Sisällysluettelo:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2011
Sisällysluettelo:
“... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...”Hae kokoteksti
Elektroninen
E-kirja
16
Sisällysluettelo:
“...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2015
Sisällysluettelo:
“...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2007
Sisällysluettelo:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2011
Sisällysluettelo:
“....- Analyzing Contract Robustness through a Model of Commitments.- A Case for New Directions in Agent-Oriented...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2013
Sisällysluettelo:
“... -- Using Contracts to Guide the Search-Based Verification of Concurrent Programs -- Planning Global...”Hae kokoteksti
Elektroninen
E-kirja