Else K. Nordhagen

Learn More
Ahmed Abd-Allah, Barry Boehm (aabdalla@cs.usc.edu, boehm@sunset.usc.edu) USC Center for Software Engineering Computer Science Department University of Southern California Los Angeles, CA 90089-0781 Abstract: A persistent problem in software engineering is how to put software systems together out of smaller subsystems: the problem of software composition.(More)
by Else K. Nordhagen (lc@ifi.uio.no, http://www.ifi.uio.no/~lc) Department of Informatics, University of Oslo P.O.Box 1080, Blindern, 0316 Oslo, Norway phone: + 47 22 85 27 13 fax: + 47 22 85 24 01 Abstract: Object-oriented technology featuring the concepts of object identity, instance creation, encapsulation, dynamic binding and inheritance are(More)
This thesis presents a formal model of object-oriented concepts; in particular we focus on the concepts found useful by experienced designers of reusable software components. The value of the formal model is shown by studying safe substitution of sets of objects in a software system. Safe substitution means that sets of objects may be substituted with(More)
  • 1