DocumentCode :
793348
Title :
A development environment for an object specification language
Author :
Gogolla, Martin ; Conrad, Stefan ; Denker, Grit ; Herzig, Rudolf ; Vlachantonis, Nikolaos
Author_Institution :
Fachbereich Math. und Inf., Bremen Univ., Germany
Volume :
7
Issue :
3
fYear :
1995
fDate :
6/1/1995 12:00:00 AM
Firstpage :
505
Lastpage :
508
Abstract :
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in the project. Our work focuses on the specification language TROLL light which allows one to describe the part of the world to be modeled as a community of concurrently existing and communicating objects. Our specification language comes 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 are the animator and the proof support system
Keywords :
computer aided software engineering; formal specification; object-oriented languages; programming environments; specification languages; animator; concurrently existing and communicating objects; correct information systems; development environment; formal specification; object specification language; open development environment; proof support system; reliable information systems development; specification language TROLL light; Animation; Certification; Data models; Design engineering; Formal specifications; Information systems; Process design; Prototypes; Specification languages; System testing;
fLanguage :
English
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
1041-4347
Type :
jour
DOI :
10.1109/69.390254
Filename :
390254
Link To Document :
بازگشت