TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION.

Seiichi Kawano, Yoshiaki Fukazawa, Toshio Kadokura

    研究成果: Chapter

    抄録

    The effectiveness of formal specification in software maintenance is reported. A formal specification language WSN (Waseda Specification Notation), which introduces the formalism into the actual software development, is defined. With this language, the schedule of the commercialized operating system (IBM corp. : VM/370) is formally described and reconstructed. In order to be suited to a university environment, the scheduler is modified based on the formal description. In order to tune the scheduler, the usage of the computer system at Waseda University was measured. From the results, the parts requiring modification were determined. The formal specification written in the development phase was then modified. To examine the effect of modification, the performance of the modified virtual system working under the real system, was measured.

    元の言語English
    ホスト出版物のタイトルBulletin of Centre for Informatics (Waseda University)
    ページ39-47
    ページ数9
    6
    出版物ステータスPublished - 1987 9

    Fingerprint

    Tuning
    Computer software maintenance
    Specification languages
    Software engineering
    Computer systems
    Specifications
    Formal specification

    ASJC Scopus subject areas

    • Engineering(all)

    これを引用

    Kawano, S., Fukazawa, Y., & Kadokura, T. (1987). TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION.Bulletin of Centre for Informatics (Waseda University) (巻 6, pp. 39-47)

    TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION. / Kawano, Seiichi; Fukazawa, Yoshiaki; Kadokura, Toshio.

    Bulletin of Centre for Informatics (Waseda University). 巻 6 1987. p. 39-47.

    研究成果: Chapter

    Kawano, S, Fukazawa, Y & Kadokura, T 1987, TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION.Bulletin of Centre for Informatics (Waseda University). 巻. 6, pp. 39-47.
    Kawano S, Fukazawa Y, Kadokura T. TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION. : Bulletin of Centre for Informatics (Waseda University). 巻 6. 1987. p. 39-47
    Kawano, Seiichi ; Fukazawa, Yoshiaki ; Kadokura, Toshio. / TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION. Bulletin of Centre for Informatics (Waseda University). 巻 6 1987. pp. 39-47
    @inbook{0aff894f9bae4a63840a56ad3884f457,
    title = "TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION.",
    abstract = "The effectiveness of formal specification in software maintenance is reported. A formal specification language WSN (Waseda Specification Notation), which introduces the formalism into the actual software development, is defined. With this language, the schedule of the commercialized operating system (IBM corp. : VM/370) is formally described and reconstructed. In order to be suited to a university environment, the scheduler is modified based on the formal description. In order to tune the scheduler, the usage of the computer system at Waseda University was measured. From the results, the parts requiring modification were determined. The formal specification written in the development phase was then modified. To examine the effect of modification, the performance of the modified virtual system working under the real system, was measured.",
    author = "Seiichi Kawano and Yoshiaki Fukazawa and Toshio Kadokura",
    year = "1987",
    month = "9",
    language = "English",
    volume = "6",
    pages = "39--47",
    booktitle = "Bulletin of Centre for Informatics (Waseda University)",

    }

    TY - CHAP

    T1 - TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION.

    AU - Kawano, Seiichi

    AU - Fukazawa, Yoshiaki

    AU - Kadokura, Toshio

    PY - 1987/9

    Y1 - 1987/9

    N2 - The effectiveness of formal specification in software maintenance is reported. A formal specification language WSN (Waseda Specification Notation), which introduces the formalism into the actual software development, is defined. With this language, the schedule of the commercialized operating system (IBM corp. : VM/370) is formally described and reconstructed. In order to be suited to a university environment, the scheduler is modified based on the formal description. In order to tune the scheduler, the usage of the computer system at Waseda University was measured. From the results, the parts requiring modification were determined. The formal specification written in the development phase was then modified. To examine the effect of modification, the performance of the modified virtual system working under the real system, was measured.

    AB - The effectiveness of formal specification in software maintenance is reported. A formal specification language WSN (Waseda Specification Notation), which introduces the formalism into the actual software development, is defined. With this language, the schedule of the commercialized operating system (IBM corp. : VM/370) is formally described and reconstructed. In order to be suited to a university environment, the scheduler is modified based on the formal description. In order to tune the scheduler, the usage of the computer system at Waseda University was measured. From the results, the parts requiring modification were determined. The formal specification written in the development phase was then modified. To examine the effect of modification, the performance of the modified virtual system working under the real system, was measured.

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

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

    M3 - Chapter

    AN - SCOPUS:0023418263

    VL - 6

    SP - 39

    EP - 47

    BT - Bulletin of Centre for Informatics (Waseda University)

    ER -