Towards reliable information systems: The KorSo approach
N. Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich · Notes on numerical fluid mechanics and multidisciplinary design · 1993
Within the compound project KorSo our team is concerned with the research on techniques and methods for the development of reliable information systems on the basis of formal specifications. Our work focuses on the specification language TROLL light which allows to describe the part of the world which is to be modeled as a community of concurrently existing and communicating objects by determining their structure as well as their behavior. Moreover we develop and implement a computer aided specification environment for TROLL light which permits a prototyping animation as well as the proof of properties of specifications. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.