The readability of formal requirements specification languages is hypothesized as a limiting factor in the acceptance of formal methods by the industrial community. An empirical study was conducted to determine how various factors of state-based requirements specification language design affect readability using aerospace applications. Six factors were tested in all, including the representation of the overall state machine structure, the expression of triggering conditions, the use of macros, the use of internal broadcast events, the use of hierarchies, and transition perspective (going-to or coming-from). Subjects included computer scientists as well as aerospace engineers in an effort to determine whether background affects notational preferences. Because so little previous experimentation on this topic exists on which to build hypotheses, the study was designed as a preliminary exploration of what factors are most important with respect to readability. It can serve as a starting point for more thorough and carefully controlled experimentation in specification language readability.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Investigating the readability of state-based formal requirements specification languages


    Contributors:


    Publication date :

    2002


    Size :

    11 Seiten, 10 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Towards Domain-Specific Formal Specification Languages for Railway Control Systems

    Peleska, J. / Baer, A. / Haxthausen, A. E. et al. | British Library Conference Proceedings | 2001



    Formal Specification and Analysis of Spacecraft Collision Avoidance Run Time Assurance Requirements

    Hobbs, Kerianne L. / Davis, Jennifer / Wagner, Lucas et al. | IEEE | 2021


    Display readability

    Wisler, K. / Doyle, J.J. jun. / Giuglianotti, M. | Tema Archive | 1994


    Formal Intent-Based Trajectory Description Languages

    Frontera, G | Online Contents | 2014