Formalizing Specification Modeling in OOA

Shinichi Honiden, Nobuto Kotaka, Yoshinori Kishimoto

Research output: Contribution to journalArticle

12 Citations (Scopus)
Original languageEnglish
Pages (from-to)54-66
Number of pages13
JournalIEEE Software
Volume10
Issue number1
DOIs
Publication statusPublished - 1993 Jan

ASJC Scopus subject areas

  • Software

Cite this