Applicability of formal specification to maintenance of large-scale software

Seiichi Kawano, Kouichi Ono, Yoshiaki Fukazawa, Toshio Kadokura

    Research output: Contribution to journalArticle

    Abstract

    For over a decade, major research efforts have been devoted to formal specification techniques for system development. As a result, many specification languages and their support tools have been developed. But not much research has been done on the application of formal specifications to software maintenance. We developed a formal specification language called Waseda Specification Notation (WSN), and have been attempting to apply it to some existing large-scale software systems. One of these is the scheduler of the VM/SP operating system, which was completely specified in WSN. We tuned the scheduler on the basis of the formal specification described, and according to the current characteristics of our computer environment. This paper gives a detailed introduction to the benefits of applying formal specification methods during the maintenance of large systems. Experiences obtained during the study are also described.

    Original languageEnglish
    Pages (from-to)301-309
    Number of pages9
    JournalJournal of Information Processing
    Volume14
    Issue number3
    Publication statusPublished - 1991

    Fingerprint

    Specification languages
    Specifications
    Computer software maintenance
    Formal specification

    ASJC Scopus subject areas

    • Engineering(all)

    Cite this

    Applicability of formal specification to maintenance of large-scale software. / Kawano, Seiichi; Ono, Kouichi; Fukazawa, Yoshiaki; Kadokura, Toshio.

    In: Journal of Information Processing, Vol. 14, No. 3, 1991, p. 301-309.

    Research output: Contribution to journalArticle

    Kawano, Seiichi ; Ono, Kouichi ; Fukazawa, Yoshiaki ; Kadokura, Toshio. / Applicability of formal specification to maintenance of large-scale software. In: Journal of Information Processing. 1991 ; Vol. 14, No. 3. pp. 301-309.
    @article{6ce314475e6947e29dc0fe3a27d8542f,
    title = "Applicability of formal specification to maintenance of large-scale software",
    abstract = "For over a decade, major research efforts have been devoted to formal specification techniques for system development. As a result, many specification languages and their support tools have been developed. But not much research has been done on the application of formal specifications to software maintenance. We developed a formal specification language called Waseda Specification Notation (WSN), and have been attempting to apply it to some existing large-scale software systems. One of these is the scheduler of the VM/SP operating system, which was completely specified in WSN. We tuned the scheduler on the basis of the formal specification described, and according to the current characteristics of our computer environment. This paper gives a detailed introduction to the benefits of applying formal specification methods during the maintenance of large systems. Experiences obtained during the study are also described.",
    author = "Seiichi Kawano and Kouichi Ono and Yoshiaki Fukazawa and Toshio Kadokura",
    year = "1991",
    language = "English",
    volume = "14",
    pages = "301--309",
    journal = "Journal of Information Processing",
    issn = "0387-5806",
    publisher = "Information Processing Society of Japan",
    number = "3",

    }

    TY - JOUR

    T1 - Applicability of formal specification to maintenance of large-scale software

    AU - Kawano, Seiichi

    AU - Ono, Kouichi

    AU - Fukazawa, Yoshiaki

    AU - Kadokura, Toshio

    PY - 1991

    Y1 - 1991

    N2 - For over a decade, major research efforts have been devoted to formal specification techniques for system development. As a result, many specification languages and their support tools have been developed. But not much research has been done on the application of formal specifications to software maintenance. We developed a formal specification language called Waseda Specification Notation (WSN), and have been attempting to apply it to some existing large-scale software systems. One of these is the scheduler of the VM/SP operating system, which was completely specified in WSN. We tuned the scheduler on the basis of the formal specification described, and according to the current characteristics of our computer environment. This paper gives a detailed introduction to the benefits of applying formal specification methods during the maintenance of large systems. Experiences obtained during the study are also described.

    AB - For over a decade, major research efforts have been devoted to formal specification techniques for system development. As a result, many specification languages and their support tools have been developed. But not much research has been done on the application of formal specifications to software maintenance. We developed a formal specification language called Waseda Specification Notation (WSN), and have been attempting to apply it to some existing large-scale software systems. One of these is the scheduler of the VM/SP operating system, which was completely specified in WSN. We tuned the scheduler on the basis of the formal specification described, and according to the current characteristics of our computer environment. This paper gives a detailed introduction to the benefits of applying formal specification methods during the maintenance of large systems. Experiences obtained during the study are also described.

    UR - http://www.scopus.com/inward/record.url?scp=0026380520&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0026380520&partnerID=8YFLogxK

    M3 - Article

    VL - 14

    SP - 301

    EP - 309

    JO - Journal of Information Processing

    JF - Journal of Information Processing

    SN - 0387-5806

    IS - 3

    ER -