Travelled to:1 × Canada
1 × Singapore
1 × USA
2 × Japan
Collaborated with:A.Ohnishi Y.Ohno K.Noda T.Kobayashi H.Kasuya M.Sakai H.Tarumi
Talks about:softwar (2) environ (2) system (2) requir (2) descript (1) abstract (1) support (1) program (1) pattern (1) descend (1)
Person: Kiyoshi Agusa
DBLP: Agusa:Kiyoshi
Contributed to:
2012
2002
1993
19881982Wrote 5 papers:
- WCRE-2012-NodaKA #abstraction #execution
- Execution Trace Abstraction Based on Meta Patterns Usage (KN, TK, KA), pp. 167–176.
- FLOPS-2002-KasuyaSA #higher-order #normalisation #term rewriting
- Descendants and Head Normalization of Higher-Order Rewrite Systems (HK, MS, KA), pp. 198–211.
- RE-1993-OhnishiA #named #requirements
- CARD: a software requirements definition environment (AO, KA), pp. 90–93.
- 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.