Annals of Software Engineering, Volume 2

Volume 2, 1996

• John D. McGregor: Preface: Object-Oriented Software Engineering - Foundations and Techniques. 1-3
• T. Case, Brian Henderson-Sellers, Graham C. Low: A Generic Object-Oriented Design Methodology Incorporating Database Considerations. 5-24
• Dov Dori, Moshe Goodman: From Object-Process Analysis to Object-Process Design. 25-50
• John D. McGregor, Brian A. Malloy, Rebecca L. Siegmund: A Comprehensive Program Representation of Object-Oriented Software. 51-91
• Lonnie R. Welch, Mrinalini Lankala, William H. Farr, Dieter K. Hammer: Metrics for Quality and Concurrency in Object-Based Systems. 93-119
• Mahesh Dodani: Formal Methods for Object-Oriented Software Engineering. 121-160
• Jyhjong Lin, David Chenho Kung, Pei Hsia: Object-Oriented Specification and Formal Verification of Real-Time Systems. 161-198
• Lu Jian: Developing Parallel Object-Oriented Programs in the Framework of VDM. 199-211
• Allen S. Parrish, David Cordes, Dennis Brown: An Environment to Support Micro-Incremental Class Development. 213-236
• Grady Booch: Managing Object-Oriented Software Development. 237-258
• Brendan G. Cain, James Coplien, Neil B. Harrison: Social Patterns in Productive Software Development Organizations. 259-286