Tutorial, Software Reusability

abstract abstract data types Ada programming language algorithms application checking compiler Computer Science concepts consists construction create data structures data types database defined described documentation domain analysis domain language Draco entities environment example Figure formal Fortran Franz Lisp function Gandalf gram graph guage IEEE implementation information hiding instantiation integrated interface Irvine knowledge LISP maintenance mation mechanism ment methodology modular module interconnection node objects optimization package body paradigm parameters POSET problem Proc procedure productivity program transformation programming language recursive refinement representation requirements retrieval reusable code reusable software engineering reuse semantics Smalltalk-80 software components software development Software Engineering Software Factory software reusability software systems submodule subprograms subroutine subsystem syntax TAMPR techniques theory tion trans treelist Unix