Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Luqi: A Graph Model for Software Evolution. IEEE Transactions on Software Engineering 16(8), 917–927 (1990)
2. Luqi, Goguen, J.: Formal Methods: Promises and Problems. IEEE Software 14(1), 73–85 (1997)
3. Dampier, D., Luqi, Berzins, V.: Automated Merging of Software Prototypes. Journal of Systems Integration 4(1), 33–49 (1994)
4. Berzins, V., Dampier, D.: Software Merge: Combining Changes to Decompositions. Journal of Systems Integration (Special Issue on Computer Aided Prototyping) 6(1-2), 135–150 (1996)
5. Berzins, V., Luqi, Yehudai, A.: Using Transformations in Specification-Based Prototyping. IEEE Transactions on Software Engineering 19(5), 436–452 (1993)