Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Handbook of theoretical computer science (vol. B)
The ObjectStore database system
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development
Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Towards Reliable Information Systems: The KorSo Approach
CAiSE '93 Proceedings of Advanced Information Systems Engineering
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Sketching Concepts and Computational Model of TROLL light
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Integrating the ER Approach in an OO Environment
ER '93 Proceedings of the 12th International Conference on the Entity-Relationship Approach: Entity-Relationship Approach
An approach to testing conceptual schemas
Data & Knowledge Engineering
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
| Hi-index | 0.04 |
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 light 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.