© 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}, }