Formalizing Specification Modeling in OOA

Shinichi Honiden; Nobuto Kotaka; Yoshinori Kishimoto

doi:10.1109/52.207229

Formalizing Specification Modeling in OOA

Shinichi Honiden, Nobuto Kotaka, Yoshinori Kishimoto

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	54-66
Number of pages	13
Journal	IEEE Software
Volume	10
Issue number	1
DOIs	https://doi.org/10.1109/52.207229
Publication status	Published - 1993 Jan
Externally published	Yes

ASJC Scopus subject areas

Software

Access to Document

10.1109/52.207229

Cite this

@article{abbeb3739c5a4b3ba0a433b47563aeeb,

title = "Formalizing Specification Modeling in OOA",

author = "Shinichi Honiden and Nobuto Kotaka and Yoshinori Kishimoto",

year = "1993",

month = jan,

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

Y1 - 1993/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

SN - 0740-7459

VL - 10

SP - 54

EP - 66

JO - IEEE Software

JF - IEEE Software

IS - 1

ER -

Formalizing Specification Modeling in OOA

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this