3 citations found. Retrieving documents...
S. Eckstein. Towards a module concept for object oriented specification languages. In J. Barzdins, editor, Proc. 3rd Int. Baltic Workshop on Databases and Information Systems, Vol. 2, pages 180--188, 1998.

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Fundamentals of a Module Logic for Distributed Object Systems - Filipe (2000)   (4 citations)  (Correct)

....of modularisation in Troll is the object class. Recognising that it makes Troll di#cult to use in practice for specifying large distributed information systems (cf. HDK 97] we are extending Troll to include a module concept. First considerations on the language extension may be found in [Eck98] In this paper we focus on the theoretical foundations of a module concept for object oriented specification languages. The theory presented is independent of the language and might therefore provide a semantical foundation to any language with similar module concepts. We restrict the ....

S. Eckstein. Towards a module concept for object oriented specification languages. In J. Barzdins, editor, Proceedings of the Third International Baltic Workshop on Databases and Information Systems, Vol. 2, pages 180--188. Latvian Academic Library, 1998.


Foundations of a Module Concept for Distributed Object Systems - Filipe (2000)   (1 citation)  (Correct)

No context found.

S. Eckstein. Towards a module concept for object oriented specification languages. In J. Barzdins, editor, Proc. 3rd Int. Baltic Workshop on Databases and Information Systems, Vol. 2, pages 180--188, 1998.


On the Development and Use of a Formal Object Oriented.. - Kowsari (2002)   (Correct)

No context found.

S. Eckstein. Towards a Module Concept for Object Oriented Specification Languages. In J. Barzdins, editor, Proc. 3rd Int. Baltic Workshop on Data Bases and Information Systems, Riga, Latvia, April 15-17, volume 2, pages 180--188. Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, 1998.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC