共 3 条
[1]
Formal Methods Promises and Problems. Luqi,J.A.Goguen. IEEE Software . 1997
[2]
A GraphModel for Software Evolution. Luqi. IEEE Transactions on Software Engineering . 1990
[3]
Software Evolution via Reusable Architecture. M.Harn,V.Berzins,Luqi. Proceedings of 1999 IEEE Conference and Workshop on Engi-neering of Computer-Based Systems .