1
Published 2006
Table of Contents: ... Composability -- Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems -- Enforcing...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... of Component-Based Systems -- Performance-Driven Interface Contract Enforcement for Scientific Components...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... Infrastructure for Bridging Model Engineering and Ontology Engineering -- Contract-based Interoperability for E...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... And Component Clusters -- Constraint Programming Approach To Designing Conflict-Free Schedules For Repetitive...
View full text
Electronic eBook