1
Published 2016
Springer International Publishing
Table of Contents: ... Evolution -- Archimedean Points: The Essence for Mastering of Change -- Model Patterns: The Quest...

2
Published 2021
Springer International Publishing
Table of Contents: ... of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives -- Regular Model Checking...

3
Published 2019
Springer International Publishing
... the methodological evolution that helps guaranteeing that future systems meet their increasingly critical...

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: ... in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution...

5
Published 2016
Springer International Publishing
Table of Contents: ... on Variability Modeling for Scalable Software Evolution -- Towards Incremental Validation of Railway Systems...

6
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... -- IN evolution to support mobility in DECT access networks -- A mobile broadband service switching point: a new...

7
Published 2012
Springer Berlin Heidelberg
Table of Contents: ....- Tracking Behavioral Constraints during Object-Oriented Software Evolution.- Towards the Verification...

8
Published 2018
Springer International Publishing
Table of Contents: ...? -- Mutation-based Test Suite Evolution For Self-Organizing Systems -- Adapting Quality Assurance to Adaptive...

9
Published 2010
Springer Berlin Heidelberg
Table of Contents: ...: Networking Challenges and Service Evolution --...

10
Published 2014
Springer Berlin Heidelberg
Table of Contents: ... to Read -- Industrial Track -- The Technological and Interdisciplinary Evolution in Machine and Plant...

11
Published 2016
Springer International Publishing
...; variability modeling for scalable software evolution; detecting and understanding software doping; learning...