Structuring Meachanisms for an Object-Oriented Formal Specification Language

Márcio Cornélio, Paulo Borba. Structuring Meachanisms for an Object-Oriented Formal Specification Language. In William B. Frakes, editor, Software Reuse: Advances in Software Reusability, 6th International Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings. Volume 1844 of Lecture Notes in Computer Science, pages 402-419, Springer, 2000.

Abstract

Abstract is missing.