Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
integrals computer » integrate computer, integrated computer, integrals chapter
program contract » programme contract, program abstract, program controls
program program » programs program, programming program
contract https » control https, conflict https, contract nets
integrals computer » integrate computer, integrated computer, integrals chapter
program contract » programme contract, program abstract, program controls
program program » programs program, programming program
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 2013
Sisällysluettelo:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Hae kokoteksti
Elektroninen
E-kirja
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Julkaistu 2013
Sisällysluettelo:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2005
Sisällysluettelo:
“... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2014
Sisällysluettelo:
“... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2006
Sisällysluettelo:
“... and Polymorphic Meta-Programming -- Context-Aware Service Composition in Pervasive Computing Environments -- Can...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2007
Sisällysluettelo:
“... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2010
Sisällysluettelo:
“... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2005
Sisällysluettelo:
“... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2007
Sisällysluettelo:
“... for e-Government Services: An Experience Report -- An Approach for QoS Contract Negotiation...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2006
Sisällysluettelo:
“... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2006
Sisällysluettelo:
“...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2011
Sisällysluettelo:
“...SENSORIA – Software Engineering for Service-Oriented Overlay Computers -- A Unifying Formal Basis...”Hae kokoteksti
Elektroninen
E-kirja
14
Sisällysluettelo:
“...Introduction -- Contracts and Aspects -- Expressions -- Structure and Visibility -- Tasking...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2008
Sisällysluettelo:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2008
Sisällysluettelo:
“...Concepts and Approaches of Integrated Water Management -- Filling the Information Gap between Water...”Hae kokoteksti
Elektroninen
E-kirja
17
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
18
Julkaistu 2015
Sisällysluettelo:
“...Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2006
Sisällysluettelo:
“...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2007
Sisällysluettelo:
“...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...”Hae kokoteksti
Elektroninen
E-kirja