© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Experience with Formal Specification of CMM and UML
J Warmer, J Hogg, S Cook, and B Selic
In H Kilov and B Eumpe, editors, ECOOP'97: Workshop on Precise Semantics for Object-oriented Modeling Techniques, pages 182-196, Munchen, May 1997. Institut fur Informatik, Technische Universitat (TUM-I19725, http://www.informatik.tu-muenchen.de).Bibtex Record
@inproceedings{1250,
author = {J Warmer and J Hogg and S Cook and B Selic},
title = {{Experience with Formal Specification of CMM and UML}},
month = {May},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {(TUM-I19725, http://www.informatik.tu-muenchen.de)},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/1250},
publication_type = {inproceedings},
submission_id = {29638_999256308},
other_year = {1997},
booktitle = {ECOOP'97: Workshop on Precise Semantics for Object-oriented Modeling Techniques},
editor = {H Kilov and B Eumpe},
address = {Munchen},
organization = {Institut fur Informatik, Technische Universitat},
}