The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.03 - June (1995 vol.7)
pp: 505-508
ABSTRACT
<p><it>Abstract</it>—Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL <it>light</it> which allows to describe the part of the world to be modeled as a community of concurrently existing and communicating objects. Our specification language comes along with an integrated, open development environment. The task of this environment is to give support for the creation of correct information systems. Two important ingredients of the environment to be described here in more detail are the animator and the proof support system.</p>
INDEX TERMS
Information system design, semantic data model, object specification, certification, validation, verification.
CITATION
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis, "A Development Environment for an Object Specification Language", IEEE Transactions on Knowledge & Data Engineering, vol.7, no. 3, pp. 505-508, June 1995, doi:10.1109/69.390254
28 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool