Travelled to:1 × France
1 × Singapore
1 × USA
Collaborated with:K.Futatsugi S.Tomura T.Shimizu
Talks about:algebra (3) obj (3) process (2) quickdraw (1) macintosh (1) approach (1) stepwis (1) softwar (1) modular (1) specif (1)
Person: Ataru T. Nakagawa
DBLP: Nakagawa:Ataru_T=
Contributed to:
199019891988Wrote 3 papers:
- ICSE-1990-NakagawaF #algebra #process
- Software Process à la Algebra: OBJ for OBJ (ATN, KF), pp. 12–23.
- ICSE-1989-NakagawaF #algebra #approach #composition #process #refinement
- Stepwise Refinement Process with Modularity: An Algebraic Approach (ATN, KF), pp. 166–177.
- ICSE-1988-NakagawaFTS #algebra #specification #using
- Algebraic Specification of Macintosh’s Quickdraw Using OBJ2 (ATN, KF, ST, TS), pp. 334–343.