Semantic data models have emerged from a requirement for more expressive conceptual
data models. Current generation data models lack direct support for relationships, data …

One of the most intriguing—and at the same time most problematic—notions in object-
oriented programing is inheritance. Inheritance is commonly regarded as the feature that …

This report describes a method for discovering and representing commonalities among
related software systems. By capturing the knowledge of experts, this domain analysis …

It is now more than fifty years since the first paper on formal specifications of an information
system was published by Young and Kent. Even if the term “conceptual model” was not used …

This book is about methods for determining computer system requirements. It is written
primarily as an introduction to requirements engineering methods for computer science …

Although workflow management systems are most applicable when an organization follows
standard business processes and routines, any of these processes faces the need for …

Both domain ontologies and Formal Concept Analysis (FCA) aim at modeling concepts,
although with different purposes. In the literature, a promising research area concerns the …

Zusammenfassung Nonstandard-Datenbankanwendungen legen neben Fragen nach einer
geeigneten Datenmodellierung auch die nach einem angepaßten Verarbeitungsmodell …

Research issues related to requirements modeling are introduced and discussed through a
review of the requirements modeling language RML, its peers and its successors from the …

The paper provides examples of situations where formal specifications of procedures in the
standard pre/postcondition style become lengthy, cumbersome and difficult to change, a …