Ralf Jungclaus, Gunter Saake. Formal Specification of Object Systems. In Samson Abramsky, T. S. E. Maibaum, editors, TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt. Volume 494 of Lecture Notes in Computer Science, pages 60-82, Springer, 1991.
@inproceedings{JungclausS91,
title = {Formal Specification of Object Systems},
author = {Ralf Jungclaus and Gunter Saake},
year = {1991},
tags = {meta-model, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/JungclausS91},
cites = {0},
citedby = {0},
pages = {60-82},
booktitle = {TAPSOFT 91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt},
editor = {Samson Abramsky and T. S. E. Maibaum},
volume = {494},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-53981-6},
}