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 1
Externally publishedYes

ASJC Scopus subject areas

  • Software

Cite this

Formalizing Specification Modeling in OOA. / Honiden, Shinichi; Kotaka, Nobuto; Kishimoto, Yoshinori.

In: IEEE Software, Vol. 10, No. 1, 01.01.1993, p. 54-66.

Research output: Contribution to journalArticle

Honiden, S, Kotaka, N & Kishimoto, Y 1993, 'Formalizing Specification Modeling in OOA', IEEE Software, vol. 10, no. 1, pp. 54-66. https://doi.org/10.1109/52.207229
Honiden, Shinichi ; Kotaka, Nobuto ; Kishimoto, Yoshinori. / Formalizing Specification Modeling in OOA. In: IEEE Software. 1993 ; Vol. 10, No. 1. pp. 54-66.
@article{abbeb3739c5a4b3ba0a433b47563aeeb,
title = "Formalizing Specification Modeling in OOA",
author = "Shinichi Honiden and Nobuto Kotaka and Yoshinori Kishimoto",
year = "1993",
month = "1",
day = "1",
doi = "10.1109/52.207229",
language = "English",
volume = "10",
pages = "54--66",
journal = "IEEE Software",
issn = "0740-7459",
publisher = "IEEE Computer Society",
number = "1",

}

TY - JOUR

T1 - Formalizing Specification Modeling in OOA

AU - Honiden, Shinichi

AU - Kotaka, Nobuto

AU - Kishimoto, Yoshinori

PY - 1993/1/1

Y1 - 1993/1/1

UR - http://www.scopus.com/inward/record.url?scp=0347850860&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0347850860&partnerID=8YFLogxK

U2 - 10.1109/52.207229

DO - 10.1109/52.207229

M3 - Article

AN - SCOPUS:0347850860

VL - 10

SP - 54

EP - 66

JO - IEEE Software

JF - IEEE Software

SN - 0740-7459

IS - 1

ER -