Advertisement

Purpose: Between Types and Code

  • Natalia Romero
  • María José Presso
  • Verónica Argañaraz
  • Gabriel Baum
  • Máximo Prieto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1543)

Abstract

The quality of software architectures is highly related to the easiness of evolution and maintenance of the system. Meyer says that ‘Those (quality factors) for which current software is most badly in need of better methods, and which the object-oriented method directly addresses, are the safety-related factors correctness and robustness, together known as reliability, and the factors requiring more decentralised software architectures: reusability and extendibility, together known as modularity’ [3]. Nevertheless, it still does not exist a set of precise rules to determine the quality of an object oriented design, but there are some constructions that are known to have good characteristics. Polymorphic hierarchies, described by Woolf in [4] show a number of these characteristics, ‘a polymorphic hierarchy encapsulates code that is highly reusable, flexible, extensible and just plain good OO’. A rigorous definition of these constructions is useful to identify them in order to assess the quality of a system.

Keywords

Software Architecture Maintenance Phase Proof System Concurrent System Common Behaviour 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    M. Abadi and L. Cardelli, A Theory of Objects, Monographs in Computer Science, Springer, 1996.Google Scholar
  2. 2.
    V. Argañaraz, M.J. Presso and N. Romero, A formal implementation of delegation using objects and messages, poster, 1998 ACM Student Research Poster Competition.Google Scholar
  3. 3.
    B. Meyer, Object Oriented Software Construction, Second Edition, Prentice Hall, 1997.Google Scholar
  4. 4.
    B. Woolf, Polymorphic Hierarchy, The Smalltalk Report, January 1997.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Natalia Romero
    • 1
  • María José Presso
    • 1
  • Verónica Argañaraz
    • 1
  • Gabriel Baum
    • 1
  • Máximo Prieto
    • 1
  1. 1.LIFTA, Departamento de InformáticaUniversidad Nacional de La Plata C.C. 11La PlataArgentina

Personalised recommendations