A Formal Framework for Reasoning on UML Class Diagrams
A. Cal&\#236;, D. Calvanese, G. Giacomo, and M. Lenzerini. ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems, page 503--513. London, UK, Springer-Verlag, (2002)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 690285
%A Cal&\#236;, Andrea
%A Calvanese, Diego
%A Giacomo, Giuseppe De
%A Lenzerini, Maurizio
%B ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
%C London, UK
%D 2002
%I Springer-Verlag
%K class diagram formal framework reasoning uml
%P 503--513
%T A Formal Framework for Reasoning on UML Class Diagrams
%@ 3-540-43785-1
@inproceedings{690285,
added-at = {2007-04-16T16:29:34.000+0200},
address = {London, UK},
author = {Cal\&\#236;, Andrea and Calvanese, Diego and Giacomo, Giuseppe De and Lenzerini, Maurizio},
biburl = {https://www.bibsonomy.org/bibtex/2b1ef5f2faf14d526297734f312ee1784/fparreiras},
booktitle = {ISMIS '02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems},
interhash = {df033f0bd1dbcfa792093681cc871a27},
intrahash = {b1ef5f2faf14d526297734f312ee1784},
isbn = {3-540-43785-1},
keywords = {class diagram formal framework reasoning uml},
pages = {503--513},
publisher = {Springer-Verlag},
timestamp = {2007-04-16T16:29:34.000+0200},
title = {A Formal Framework for Reasoning on UML Class Diagrams},
year = 2002
}
