Travelled to:1 × Italy
1 × USA
Collaborated with:G.M.Shi K.Sugihara K.Yamamoto K.Takeda D.N.Chin
Talks about:softwar (3) languag (1) diagram (1) automat (1) toward (1) specif (1) requir (1) layout (1) verif (1) valid (1)
Person: I. Miyamoto
DBLP: Miyamoto:I=
Contributed to:
19921990Wrote 3 papers:
- SEKE-1992-SugiharaYM #automation #diagrams #layout #specification
- Automatic Layout of Diagrams for Software Specification (KS, KY, IM), pp. 245–252.
- SEKE-1992-TakedaCM #named #re-engineering
- MERA: Meta Language for Software Engineering (KT, DNC, IM), pp. 495–502.
- SEKE-1990-ShiM #requirements #towards #validation #verification
- Toward Verification and Validation of Software Requirements (GMS, IM), pp. 251–259.