A Paradigm for Developing Information Systems

This paper describes a paradigm for implementing software in which 1) a database is used to maintain virtually all recorded information about the application and 2) the executable product is generated directly from the formal specifications. A specific environment, TEDIUM®, defined for a specific application class, the interactive information system, is presented as a proof of concept. The benefits of this paradigm are evaluated briefly, and the characteristics associated with its in productivity improvement are identified.