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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Generation of object-oriented formal software specifications


    Contributors:


    Publication date :

    1997-01-01


    Size :

    570575 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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