BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ohnishi:Atsushi

Contributed to:

SEFM 20092009
RE 20082008
ICEIS ISAS 20062006
RE 20052005
ICRE 19961996
ICRE 19941994
RE 19931993
SEKE 19931993
ICSE 19821982

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.