Media type: E-Article Title: Integrating Object-Oriented Analysis and Formal Specification Contributor: Araújo Júnior, João; Sawyer, Pete imprint: Springer Science and Business Media LLC, 1998 Published in: Journal of the Brazilian Computer Society Language: English DOI: 10.1590/s0104-65001998000200004 ISSN: 0104-6500 Keywords: General Computer Science Origination: Footnote: Access State: Open Access