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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Gerken, M.J. (Autor:in) / Roberts, N.A. (Autor:in) / White, D.A. (Autor:in)


    Erscheinungsdatum :

    01.01.1996


    Format / Umfang :

    1587590 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    The Knowledge-Based Software Assistant: A Formal, Object Oriented, Software Development Environment

    Gerken, M. J. / Roberts, N. A. / White, D. A. et al. | British Library Conference Proceedings | 1996


    Generation of Object-Oriented Formal Software Specifications

    Karagias, T. / Hartrum, T. / IEEE | British Library Conference Proceedings | 1997


    Generation of object-oriented formal software specifications

    Hartrum, T.C. / Karagias, T. | IEEE | 1997


    The knowledge-based software assistant

    Benner, Kevin M. / White, Douglas A. | NTRS | 1987