Travelled to:
1 × Japan
1 × Singapore
Collaborated with:
K.Agusa H.Tarumi A.Ohnishi
Talks about:
descript (1) support (1) softwar (1) program (1) environ (1) system (1) requir (1) orient (1) object (1) formal (1)
Person: Yutaka Ohno
DBLP: Ohno:Yutaka
Facilitated 1 volumes:
Contributed to:
Wrote 2 papers:
- ICSE-1988-TarumiAO #object-oriented #programming #reuse #using
- A Programming Environment Supporting Reuse of Object-Oriented Software (HT, KA, YO), pp. 265–273.
- ICSE-1982-AgusaOO #requirements #verification
- Verification System for Formal Requirements Description (KA, AO, YO), pp. 120–126.