Annals of Software Engineering
Latest Publications

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer-Verlag

1573-7489, 1022-7091
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A comprehensive program representation of object-oriented software

1996 ◽  
Vol 2 (1) ◽  
pp. 51-91 ◽  
Author(s):  
John D. McGregor ◽  
Brian A. Malloy ◽  
Rebecca L. Siegmund
Keyword(s):  
Object Oriented ◽  
Comprehensive Program ◽  
Program Representation

Metrics for quality and concurrency in object-based systems

1996 ◽  
Vol 2 (1) ◽  
pp. 93-119 ◽  
Author(s):  
Lonnie R. Welch ◽  
Mrinalini Lankala ◽  
William Farr ◽  
Dieter K. Hammer
Keyword(s):  
Object Based

Object-oriented specification and formal verification of real-time systems

1996 ◽  
Vol 2 (1) ◽  
pp. 161-198 ◽  
Author(s):  
Jyhjong Lin ◽  
David Chenho Kung ◽  
Pei Hsia
Keyword(s):  
Formal Verification ◽  
Real Time ◽  
Object Oriented ◽  
Real Time Systems ◽  
Time Systems

scholarly journals An environment to support micro-incremental class development

1996 ◽  
Vol 2 (1) ◽  
pp. 213-236 ◽  
Author(s):  
Allen Parrish ◽  
David Cordes ◽  
Dennis Brown

From object-process analysis to object-process design

1996 ◽  
Vol 2 (1) ◽  
pp. 25-50 ◽  
Author(s):  
Dov Dori ◽  
Moshe Goodman
Keyword(s):  
Process Design ◽  
Process Analysis

A generic object-oriented design methodology incorporating database considerations

1996 ◽  
Vol 2 (1) ◽  
pp. 5-24 ◽  
Author(s):  
T. Case ◽  
B. Henderson-Sellers ◽  
G. C. Low
Keyword(s):  
Design Methodology ◽  
Object Oriented ◽  
Object Oriented Design

Social patterns in productive software development organizations

1996 ◽  
Vol 2 (1) ◽  
pp. 259-286 ◽  
Author(s):  
Brendan G. Cain ◽  
James O. Coplien ◽  
Neil B. Harrison
Keyword(s):  
Software Development ◽  
Social Patterns ◽  
Development Organizations
Load More ...
Sign in / Sign up

Export Citation Format

Share Document