A Development Environment for an Object Specification Language.

Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis: A Development Environment for an Object Specification Language. IEEE Trans. Knowl. Data Eng. 7(3): 505-508(1995)
  author    = {Martin Gogolla and
               Stefan Conrad and
               Grit Denker and
               Rudolf Herzig and
               Nikolaos Vlachantonis},
  title     = {A Development Environment for an Object Specification Language},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {7},
  number    = {3},
  year      = {1995},
  pages     = {505-508},
  ee        = {db/journals/tkde/GogollaCDHV95.html},
  bibsource = {DBLP,}


Copyright © 1995 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX


Eric Dubois, Philippe Du Bois, Michaël Petit: O-O Requirements Analysis: an Agent Perspective. ECOOP 1993: 458-481 BibTeX
Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis: Integrating the ER Approach in an OO Environment. ER 1993: 376-389 BibTeX
Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object-Oriented Specification of Databases: An Algebraic Approach. VLDB 1987: 107-116 BibTeX
Gunter Saake, Ralf Jungclaus, Thorsten Hartmann: Application Modelling in Heterogeneous Environments Using an Object Specification Language. CoopIS 1993: 309-318 BibTeX
Martin Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 675-788 BibTeX
Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX
C. A. R. Hoare: Communicating Sequential Processes. Commun. ACM 21(8): 666-677(1978) BibTeX
Charles Lamb, Gordon Landis, Jack A. Orenstein, Daniel Weinreb: The ObjectStore Database System. Commun. ACM 34(10): 50-63(1991) BibTeX
Nikolaos Vlachantonis, Rudolf Herzig, Martin Gogolla, Grit Denker, Stefan Conrad, Hans-Dieter Ehrich: Towards Reliable Information Systems: The KorSo Approach. CAiSE 1993: 463-482 BibTeX

Referenced by

  1. Antonio Grau, Mojgan Kowsari: A Validation System for Object Oriented Specifications of Information Systems. ADBIS 1997: 249-256
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM ( and IEEE, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sun May 17 00:28:20 2009