The knowledge-based software assistant: a formal, object oriented software development environment

Author

Gerken, Capt Mark J. ; Roberts, Nancy A. ; White, Douglas A.

Author_Institution

Knowledge Eng. Branch, Rome Lab., NY, USA

Volume

2

fYear

1996

fDate

20-23 May 1996

Firstpage

511

Abstract

The Knowledge-Based Software Assistant (KBSA) program was initiated in 1984 following the publication of the Rome Laboratory technical report, “Report on a Knowledge-Based Software Assistant”. This report described a new paradigm of software development where the tedious and mundane tasks of system development were automated. We have striven to implement and improve the paradigm described in that report. Specifically we have concentrated on the definition and implementation of an integrated suite of tools designed to support the management, development, and evolution of complex software-intensive systems. This paper describes the KBSA paradigm through an exploration of four of its key facets: project management, requirements acquisition, specification elaboration, and formal development

Keywords

automatic programming; formal specification; knowledge based systems; object-oriented programming; project management; software development management; KBSA paradigm; complex software-intensive systems; formal development; formal object oriented software; integrated suite of tools; knowledge-based software assistant; object oriented software development environment; project management; requirements acquisition; software development; specification; Application software; Costs; Humans; Knowledge engineering; Laboratories; Power system management; Productivity; Programming; Software quality; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Aerospace and Electronics Conference, 1996. NAECON 1996., Proceedings of the IEEE 1996 National

Conference_Location

Dayton, OH

ISSN

0547-3578

Print_ISBN

0-7803-3306-3

Type

conf

DOI

10.1109/NAECON.1996.517697

Filename

517697