IS-CORE II
The project explores theoretical and methodological foundations of
information systems design and specification. The goal is to achieve
provably correct systems with a high degree of reusability. To this
end, formal methods are being developed that employ object-oriented
description techniques. The project encompasses work on theoretical
foundations of object concepts and constructions, design and analysis
of language features for object-oriented specification languages,
formal semantics for such specification languages, and methods for
using such languages. The project is organized into five subgroups,
namely for Semantic Domains and Concurrency, Configuration and Design
Structures, Defaults and Reasoning, Conceptual Modeling, and Software
Development Process.
