The Community for Technology Leaders
Green Image
ABSTRACT
<p><b>Abstract</b>—Richard J. Botting indicates some things that need clarifying in the paper cited in the title [<ref rid="bibe0911a1" type="bib">1</ref>] above.</p>
INDEX TERMS
Algebraic specification, formal methods, object modeling, requirements specification, semantics.
CITATION
Richard J. Botting, "Comments on "A Formal Semantics for Object Model Diagrams" [1]", IEEE Transactions on Software Engineering, vol. 22, no. , pp. 911, December 1996, doi:10.1109/32.553639
109 ms
(Ver )