1
Published 2007
Table of Contents: ...Invited Contributions -- Software Product Families: Towards Compositionality -- Contract-Driven...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Termination Criteria for Model Transformation -- Ensuring Structural Constraints in Graph-Based Models...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Instances by Iterative Backbone Contraction -- Point Location in the Continuous-Time Moving Network...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... of Reliable Biomarkers from Gene-Expression Profiles: An Iterative Constraint Satisfaction Learning Approach...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- Combining Answer Sets of Nonmonotonic Logic Programs -- Speculative Constraint Processing with Iterative...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
View full text
Electronic eBook