A Logic-Based Framework for Reasoning Support in Software Evolution

Vassilios C. Vescoukis, Nikolaos Papaspyrou, Emmanuel Skordalakis. A Logic-Based Framework for Reasoning Support in Software Evolution. In Panos Constantopoulos, John Mylopoulos, Yannis Vassiliou, editors, Advances Information System Engineering, 8th International Conference, CAiSE 96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings. Volume 1080 of Lecture Notes in Computer Science, pages 44-59, Springer, 1996.

Authors

Vassilios C. Vescoukis

This author has not been identified. Look up 'Vassilios C. Vescoukis' in Google

Nikolaos Papaspyrou

This author has not been identified. Look up 'Nikolaos Papaspyrou' in Google

Emmanuel Skordalakis

This author has not been identified. Look up 'Emmanuel Skordalakis' in Google