`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:

### Wrote 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.