1
Sisällysluettelo: ...Contracts -- Intellectual Property Rights -- Consumer Protection -- Privacy -- Conclusions....
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... — Where Programs Meet Provers -- Compositional Invariant Checking for Overlaid and Nested Linked Lists...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2014
Sisällysluettelo: ... System Development -- Agile Software Development in Practice -- Part Agile Challenges and Contracting...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2007
Sisällysluettelo: ... Architecture -- Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2006
Sisällysluettelo: ... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...
Hae kokoteksti
Elektroninen E-kirja
6
Julkaistu 2006
Sisällysluettelo: ...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2011
Sisällysluettelo: ... Calculi -- Static Analysis Techniques for Session-Oriented Calculi -- Call-by-Contract for Service...
Hae kokoteksti
Elektroninen E-kirja
8
Tekijä Gross, Hans-Gerhard., Gross, Hans-Gerhard.
Julkaistu 2005
Sisällysluettelo: ...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2005
Sisällysluettelo: ...-Contracts in Defeasible Logic -- Merging and Aligning Ontologies in dl-Programs -- A Visual Environment...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2010
Sisällysluettelo: ... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2008
Sisällysluettelo: ... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2014
Sisällysluettelo: ... Bytecode Programs -- Verifying Class Invariants in Concurrent Programs -- Automatic Program Repair...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2007
Sisällysluettelo: ... Contracts for Deployment on Alien Grids -- A Transparent Framework for Hierarchical Master-Slave Grid...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2014
Sisällysluettelo: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2014
Sisällysluettelo: ... Form -- Improving the Normalization of Weight Rules in Answer Set Programs -- Logical Foundations...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2005
Sisällysluettelo: ... on Grid Platform -- The University of Virginia Campus Grid: Integrating Grid Technologies with the Campus...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2005
Sisällysluettelo: ... Application -- A Comparative Study of Metamodel Integration and Interoperability in UML and Web Services...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2010
Sisällysluettelo: ... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2011
Sisällysluettelo: ... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2008
Sisällysluettelo: ... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...
Hae kokoteksti
Elektroninen E-kirja