A Formal Analysis of the Shlaer-Mellor method: towards a toolkit for formal and informal requirements specification techniques

Roelf J. Wieringa, G. Saake

    Research output: Contribution to journalArticleAcademicpeer-review

    1 Citation (Scopus)
    108 Downloads (Pure)

    Fingerprint Dive into the research topics of 'A Formal Analysis of the Shlaer-Mellor method: towards a toolkit for formal and informal requirements specification techniques'. Together they form a unique fingerprint.