We describe a prototype system, IKARUS, with which we investigated the potential of integrating web‐based documents, shared knowledge bases, and information retrieval for improving knowledge storage and retrieval. As an example, we discuss how to implement both a user manual and an online help system as one system. The following technologies are combined: a web‐based design, a frame‐based knowledge engine, use of an advanced full‐text search engine, and simple techniques to control terminology. We have combined graphical browsing with several unusual forms of text retrieval—for example, to the sentence and paragraph level.

A language for defining sequential file structures, characterized as nested sequences of records having in common certain keys and types, is presented. "Input schemata" are defined as program skeletons that contain all the necessary control structure to process a specified file. A method for obtaining an input schema from the corresponding file structure definition is given. The method is based on attributed grammars, and has been implemented in the programming language PROLOG. This constitutes a formalization of some aspects of the data-directed program design method of Jackson and Warnier. Examples of applications of this method to business data processing problems such as file updating and report generation are given.