Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Polymorphism and type checking in object-oriented languages
ACM SIGPLAN Notices
Virtual classes: a powerful mechanism in object-oriented programming
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
A denotational semantics of inheritance and its correctness
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Object oriented design with applications
Object oriented design with applications
Surveying current research in object-oriented design
Communications of the ACM
Designing object-oriented software
Designing object-oriented software
A research typology for object-oriented analysis and design
Communications of the ACM - Special issue on analysis and modeling in software development
Communications of the ACM - Special issue on analysis and modeling in software development
Combination of inheritance hierarchies
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Obstacles in object-oriented software development
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
An algebraic model of sybtypes in object-oriented languages (draft)
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Discrete and Combinatorial Mathematics; An Applied Introduction
Discrete and Combinatorial Mathematics; An Applied Introduction
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
Hi-index | 0.00 |
This paper reports on a research work towards the development of a System for Analysis of Object-Oriented Software Systems(SAOOSS). SAOOSS is to consist of a set of tools for a statical analysis of inheritance relationships of a given syntactically correct object-oriented software system against a set of design guidelines for well formed hierarchies. The aim of the analysis is to enable the user to gain a global understanding of the software system's inheritance structure, and to provide guidelines for a proper use of inheritance in system development.The theory of our research is based on a set of rules for well formed object-oriented based hierarchies developed by Rebecca Wirfs-Brock, Lauren Wiener and Brian Wilkerson, [1]. Rosemary Mazhindu has developed a logical extension to the work of Rebecca Wirfs-Brock, Lauren Wiener and Brian Wilkerson and this work, reported here, has formed the theoretical basis of SAOOSS.Although the theoretical basis of the research has evolved from studying a number of object-oriented languages, our aim is to develop the software system which will analyse programs and software written in C++.