Abstract
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.
Cite
CITATION STYLE
Vlachantonis, N., Herzig, R., Gogolla, M., Denker, G., Conrad, S., & Ehrich, H. D. (1993). Towards reliable information systems: The KorSo approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 685 LNCS, pp. 463–482). Springer Verlag. https://doi.org/10.1007/3-540-56777-1_25
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
