Advanced Information Systems Engineering

Consistent structural updates for object database design.- A procedural approach to schema evolution.- An active meta-model for knowledge evolution in an object-oriented database.- Schema integration in object-oriented databases.- Schema transformations as an aid in view integration.- Towards a model for persistent data integration.- Using explanations to improve the validation of executable models.- Visualisation for validation.- Validating conceptual models by transformational prototyping.- Partial evaluation and symbolic computation for the understanding of Fortran programs.- A multi-model approach for deriving requirements specifications for a mega-project.- The BOS-method architecture: An improved structured approach for the development of distributed information systems.- Dealing with security requirements during the development of information systems.- Elicitating and formalising requirements for C.I.M. information systems.- The three dimensions of requirements engineering.- Object-oriented analysis in practice.- Concepts for real-world modelling.- An abstraction-based rule approach to large-scale information systems development.- The semantics of parts versus aggregates in data/knowledge modelling.- Object interaction in object-oriented deductive conceptual models.- An object-oriented temporal model.- From object-oriented design towards object-oriented programming.- Automated mapping of conceptual schemas to relational schemas.- Normalization of object-oriented conceptual schemes.- Towards reliable information systems: The KorSo approach.- Similarity for analogical software reuse: A conceptual modelling approach.- Temporal aspects in reuse of requirement specifications.- Computer-aided verification of software process model properties.- An animation facility to simulate an information and communication system.- Design of user-driven interfaces using Petri nets and objects.- Perspectives on Software development Environments.- An object oriented database