Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies

Thomas C. Hartrum, Paul D. Bailor. Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies. In Jorge L. Díaz-Herrera, editor, Software Engineering Education, 7th SEI CSEE Conference, San Antonio, Texas, USA, January 5-7, 1994, Proceedings. Volume 750 of Lecture Notes in Computer Science, pages 389-409, Springer, 1994.