Title :
The KBSA Requirements/specification Facet: ARIES
Author :
Johnson, Ward L. ; Feather, Martin S.
Author_Institution :
USC / Information Sciences Institute
Keywords :
Application software; Feathers; Formal specifications; Knowledge based systems; Logic; Natural languages; Performance analysis; Process design; Software prototyping; System testing;
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1991. Proceedings., 6th Annual
Print_ISBN :
0-8186-2605-4
DOI :
10.1109/KBSE.1991.638020