Comments on "A Formal Semantics for Object Model Diagrams" [1] December 1996 (vol. 22 no. 12) pp. 911
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.553639
Abstract—Richard J. Botting indicates some things that need clarifying in the paper cited in the title [1] above.
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. 12, pp. 911, Dec. 1996, doi:10.1109/32.553639 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||