Formalizing Object-Oriented Models in the Object Calculus

Juan Bicarregui, Kevin Lano, T. S. E. Maibaum. Formalizing Object-Oriented Models in the Object Calculus. In Jan Bosch, Stuart Mitchell, editors, Object-Oriented Technology, ECOOP 97 Workshop Reader, ECOOP 97 Workshops, Jyväskylä, Finland, June 9-13, 1997. Volume 1357 of Lecture Notes in Computer Science, pages 155-160, Springer, 1997. [doi]

@inproceedings{BicarreguiLM97:1,
  title = {Formalizing Object-Oriented Models in the Object Calculus},
  author = {Juan Bicarregui and Kevin Lano and T. S. E. Maibaum},
  year = {1997},
  url = {http://link.springer.de/link/service/series/0558/bibs/1357/13570155.htm},
  tags = {meta-model, object-role modeling, e-science, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BicarreguiLM97%3A1},
  cites = {0},
  citedby = {0},
  pages = {155-160},
  booktitle = {Object-Oriented Technology, ECOOP 97 Workshop Reader, ECOOP 97 Workshops, Jyväskylä, Finland, June 9-13, 1997},
  editor = {Jan Bosch and Stuart Mitchell},
  volume = {1357},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64039-8},
}