Tracking Behavioral Constraints during Object-Oriented Software Evolution

Johan Dovland, Einar Broch Johnsen, Ingrid Chieh Yu. Tracking Behavioral Constraints during Object-Oriented Software Evolution. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Volume 7609 of Lecture Notes in Computer Science, pages 253-268, Springer, 2012. [doi]

Authors

Johan Dovland

This author has not been identified. Look up 'Johan Dovland' in Google

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Ingrid Chieh Yu

This author has not been identified. Look up 'Ingrid Chieh Yu' in Google