A Development Environment for an Object Specification Language.

@article{DBLP:journals/tkde/GogollaCDHV95,
  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, http://dblp.uni-trier.de}
}

Abstract

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

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

Eric Dubois, Philippe Du Bois, Michaël Petit: O-O Requirements Analysis: an Agent Perspective. ECOOP 1993: 458-481 BibTeX

[3]

...

[4]

Martin Gogolla, Rudolf Herzig, Stefan Conrad, Grit Denker, Nikolaos Vlachantonis: Integrating the ER Approach in an OO Environment. ER 1993: 376-389 BibTeX

[5]

Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich: Object-Oriented Specification of Databases: An Algebraic Approach. VLDB 1987: 107-116 BibTeX

[6]

Gunter Saake, Ralf Jungclaus, Thorsten Hartmann: Application Modelling in Heterogeneous Environments Using an Object Specification Language. CoopIS 1993: 309-318 BibTeX

[7]

Martin Wirsing: Algebraic Specification. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 675-788 BibTeX

[8]

Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987) BibTeX

[9]

C. A. R. Hoare: Communicating Sequential Processes. Commun. ACM 21(8): 666-677(1978) BibTeX

[10]

...

[11]

Charles Lamb, Gordon Landis, Jack A. Orenstein, Daniel Weinreb: The ObjectStore Database System. Commun. ACM 34(10): 50-63(1991) BibTeX

[12]

...

[13]

...

[14]

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

[15]

...

Referenced by

1. Antonio Grau, Mojgan Kowsari: A Validation System for Object Oriented Specifications of Information Systems. ADBIS 1997: 249-256