The ability to provide automated support for the generation of formal software specifications would lead to decreased software development time. By eliciting the needed information from a software developer and harvesting the proper parts of a domain model, a software specifications document can be created. This research establishes the feasibility of producing customized software specifications based on a formal object-oriented domain model. First the existing Knowledge Based Software Engineering (KBSE) domain model is defined. The requirements for the Elicitor Harvester are then discussed. Allowable specializations of the domain model and user interaction are defined. A design capable of meeting those requirements using an existing domain model built with Reasoning Systems' Software Refinery is presented. Finally the implementation and testing of a feasibility demonstration of the Elicitor Harvester system is discussed.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Generation of object-oriented formal software specifications


    Beteiligte:
    Hartrum, T.C. (Autor:in) / Karagias, T. (Autor:in)


    Erscheinungsdatum :

    01.01.1997


    Format / Umfang :

    570575 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Generation of Object-Oriented Formal Software Specifications

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


    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



    From formal specifications to efficient test scenarios generation

    Yang, Jing / Ghazel, Mohamed / El-Koursi, El-Miloudi | IEEE | 2013


    Progress towards flight software hybrid controllers from formal specifications

    Haesaert, S. / Reder, L.J. / Murray, R.M. | IEEE | 2018