Volume 2, Issue 1

Annals of Software Engineering is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Annals of Software Engineering articles

December 1996

11 articles in this issue

Preface

EditorialNotes Pages: 1 - 3
A generic object-oriented design methodology incorporating database considerations
T. Case
B. Henderson-Sellers
G. C. Low
OriginalPaper Pages: 5 - 24
From object-process analysis to object-process design
Dov Dori
Moshe Goodman
OriginalPaper Pages: 25 - 50
A comprehensive program representation of object-oriented software
John D. McGregor
Brian A. Malloy
Rebecca L. Siegmund
OriginalPaper Pages: 51 - 91
Metrics for quality and concurrency in object-based systems
Lonnie R. Welch
Mrinalini Lankala
Dieter K. Hammer
OriginalPaper Pages: 93 - 119
Formal methods for object-oriented software engineering
Mahesh Dodani
OriginalPaper Pages: 121 - 160
Object-oriented specification and formal verification of real-time systems
Jyhjong Lin
David Chenho Kung
Pei Hsia
OriginalPaper Pages: 161 - 198
Developing parallel object-oriented programs in the framework of VDM
Lu Jian
OriginalPaper Pages: 199 - 211
An environment to support micro-incremental class development
Allen Parrish
David Cordes
Dennis Brown
OriginalPaper Pages: 213 - 236
Managing object-oriented software development
Grady Booch
OriginalPaper Pages: 237 - 258
Social patterns in productive software development organizations
Brendan G. Cain
James O. Coplien
Neil B. Harrison
OriginalPaper Pages: 259 - 286

Volume 2, Issue 1

Search

Navigation