Travelled to:1 × Cyprus
1 × France
1 × Japan
1 × Spain
1 × Vietnam
4 × USA
Collaborated with:∅ K.Agusa D.V.Dzung M.Makino T.Toyama Y.Ohno
Talks about:requir (7) scenario (5) softwar (4) method (3) base (3) generat (2) definit (2) visual (2) specif (2) condit (2)
Person: Atsushi Ohnishi
DBLP: Ohnishi:Atsushi
Contributed to:
2009
2008
20062005199619941993
1993
1982Wrote 9 papers:
- SEFM-2009-DzungO #elicitation #ontology #reasoning #requirements
- Ontology-Based Reasoning in Requirements Elicitation (DVD, AO), pp. 263–272.
- RE-2008-MakinoO #difference #generative
- A Method of Scenario Generation with Differential Scenario (MM, AO), pp. 337–338.
- ICEIS-ISAS-2006-Ohnishi #generative
- Supporting Methods of Generating Alternative Scenarios from a Normal Scenario (AO), pp. 110–117.
- RE-2005-ToyamaO #rule-based #verification
- Rule-based Verification of Scenarios with Pre-conditions and Post-conditions (TT, AO), pp. 319–328.
- ICRE-1996-Ohnishi #database #requirements #specification
- Software Requirements Specification Database Based on Requirements Frame Model (AO), pp. 221–228.
- ICRE-1994-Ohnishi #requirements #visual notation
- A visual software requirements definition method (AO), pp. 194–201.
- RE-1993-OhnishiA #named #requirements
- CARD: a software requirements definition environment (AO, KA), pp. 90–93.
- SEKE-1993-Ohnishi #requirements #specification #visual notation
- Visual Software Requirements Specification Language: VRDL (AO), pp. 219–221.
- ICSE-1982-AgusaOO #requirements #verification
- Verification System for Formal Requirements Description (KA, AO, YO), pp. 120–126.