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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Investigating the readability of state-based formal requirements specification languages


    Beteiligte:
    Zimmerman, M.K. (Autor:in) / Lundqvist, K. (Autor:in) / Leveson, N. (Autor:in)


    Erscheinungsdatum :

    2002


    Format / Umfang :

    11 Seiten, 10 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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 Archiv | 1994


    Formal Intent-Based Trajectory Description Languages

    Frontera, G | Online Contents | 2014