From CASE to CARE (Computer-Aided Requirements Engineering).

@inproceedings{DBLP:conf/er/PastorCR99,
  author    = {Oscar Pastor and
               Jos{\'e} Hilario Can{\'o}s Cerd{\'a} and
               Isidro Ramos},
  editor    = {Jacky Akoka and
               Mokrane Bouzeghoub and
               Isabelle Comyn-Wattiau and
               Elisabeth M{\'e}tais},
  title     = {From CASE to CARE (Computer-Aided Requirements Engineering)},
  booktitle = {Conceptual Modeling - ER '99, 18th International Conference on
               Conceptual Modeling, Paris, France, November, 15-18, 1999, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1728},
  year      = {1999},
  isbn      = {3-540-66686-9},
  pages     = {278-292},
  ee        = {db/conf/er/PastorCR99.html},
  crossref  = {DBLP:conf/er/99},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD 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/An5-2 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/aDVD1 or /dvd

References

[1]

...

[2]

James E. Rumbaugh, Michael R. Blaha, William J. Premerlani, Frederick Eddy, William E. Lorensen: Object-Oriented Modeling and Design. Prentice-Hall 1991, ISBN 0-13-630054-5
BibTeX

[3]

...

[4]

...

[5]

...

[6]

...

[7]

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

[8]

...

[9]

Ralf Jungclaus, Gunter Saake: Formal Specification of Object Systems. TAPSOFT, Vol.2 1991: 60-82 BibTeX

[10]

...

[11]

...

[12]

Oscar Pastor, Fiona Hayes, Stephen Bear: OASIS: An Object-Oriented Specification Language. CAiSE 1992: 348-363 BibTeX

[13]

...

[14]

...

[15]

Robert B. Jackson, David W. Embley, Scott N. Woodfield: Automated Support for the Development of Formal Object-Oriented Requirements Specifications. CAiSE 1994: 135-148 BibTeX

[16]

Stephen W. Liddle, David W. Embley, Scott N. Woodfield: Unifying Modelling and Programming through an Active, Object-Oriented, Model-Equivalent Programming Language. OOER 1995: 55-64 BibTeX

[17]

David Harel: First-Order Dynamic Logic. Lecture Notes in Computer Science Vol. 68 Springer 1979, ISBN 3-540-09237-4
BibTeX

[18]

Roel Wieringa: A Formalization of Objects Using Equational Dynamic Logic. DOOD 1991: 431-452 BibTeX

[19]

R. G. G. Cattell: The Object Database Standard: ODMG-93 (Release 1.1). Morgan Kaufmann 1994
BibTeX

[20]

...

[21]

...

[22]

...

[23]

Oscar Pastor, Emilio Insfrán, Vicente Pelechano, José Romero, José Merseguer: OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. CAiSE 1997: 145-158 BibTeX

[24]

Michael Kifer: Deductive and Object Data Languages: A Quest for Integration. DOOD 1995: 187-212 BibTeX

[25]

...

[26]

Oscar Pastor, Vicente Pelechano, Emilio Insfrán, Jaime Gómez: From Object Oriented Conceptual Modeling to Automated Programming in Java. ER 1998: 183-196 BibTeX