Modeling of Dynamic Object Systems

Presents an approach to the formal object-oriented specification of information systems. The approach focuses on the early phases of system development where existing systems have to be described or systems to be developed have to be prescribed (conceptional modelling).