(Note that this is a release of a research prototype. There is no warranty of any kind.) USE is a system for the specification of information systems. It is based on a subset of the Unified Modeling ...