1
Publicado 2010
Table of Contents: ...Building and Managing Organizations -- Conditional Dependence Networks in Requirements Engineering...
Ligazón do recurso
Electrónico eBook
2
Publicado 2007
Table of Contents: ...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...
Ligazón do recurso
Electrónico eBook
3
Publicado 2006
Table of Contents: ... Different Contracts in Hierarchical Component-Based Systems -- Automated Pattern-Based Pointcut Generation...
Ligazón do recurso
Electrónico eBook
4
Publicado 2006
Table of Contents: ...Full Papers -- Defining and Checking Deployment Contracts for Software Components -- GLoo: A...
Ligazón do recurso
Electrónico eBook
5
Publicado 2008
Table of Contents: ... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...
Ligazón do recurso
Electrónico eBook
6
Table of Contents: ...-in Contract Testing -- Built-in Contract Testing and Implementation Technologies -- Reuse and Related...
Ligazón do recurso
Electrónico eBook
7
Publicado 2014
Table of Contents: ... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...
Ligazón do recurso
Electrónico eBook
8
Publicado 2005
Table of Contents: ... Process Using UML -- SoftContract: Model-Based Design of Error-Checking Code and Property Monitors...
Ligazón do recurso
Electrónico eBook
9
Publicado 2008
Table of Contents: ... of Evolving Requirements-Architecture Dependencies: An Exploratory Study -- The IT Organization Modeling...
Ligazón do recurso
Electrónico eBook
10
Publicado 2010
Table of Contents: ... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...
Ligazón do recurso
Electrónico eBook
11
Publicado 2007
Table of Contents: ... Design Tool for Informal User Interface Rapid Prototyping....
Ligazón do recurso
Electrónico eBook
12
Publicado 2010
Table of Contents: ... Interface for Semantic MediaWiki -- A Controlled Language for the Specification of Contracts -- Rabbit...
Ligazón do recurso
Electrónico eBook
13
Publicado 2005
Table of Contents: ... Organization -- Experiments in Emergent Programming Using Self-organizing Multi-agent Systems -- A Direct...
Ligazón do recurso
Electrónico eBook
14
Publicado 2008
Table of Contents: ... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...
Ligazón do recurso
Electrónico eBook
15
Publicado 2015
Table of Contents: ... that Supports Reusable Behavioural Abstractions -- Integrating Protocol Contracts with Program Code – A...
Ligazón do recurso
Electrónico eBook
16
Publicado 2011
Table of Contents: ... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...
Ligazón do recurso
Electrónico eBook
17
Publicado 2006
Table of Contents: ... File Transfer During Deployment, Execution, and Retrieval -- A Parallel Data Storage Interface...
Ligazón do recurso
Electrónico eBook
18
Publicado 2010
Table of Contents: ... Web Services -- A Mediator-Based Approach to Resolving Interface Heterogeneity of Web Services...
Ligazón do recurso
Electrónico eBook
19
Publicado 2005
Table of Contents: ... Contract Layered Architecture for Regulating Cross-Organisational Business Processes -- An Effective...
Ligazón do recurso
Electrónico eBook
20
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Ligazón do recurso
Electrónico eBook