DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE.

Seiichi Kawano, Toshio Kadokura, Yoshiaki Fukazawa, Shunichi Kurino, Ken Hirose, Shinichi Yamada, Hideki Nasu, Hiroshi Kawazoe, Masayoshi Sakakura, Kiminori Utsunomiya

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

The authors are developing a set of methods and tools for the production of large software by making use of formal logic. WSN (Waseda Specification Notation) is a notation to describe detailed-level specification so that it will be able to be automatically translated into Prolog. This paper discusses how to write a specification of the Scheduler of VM, a commercial operating system(IBM), written in WSN. The syntax definition is given in appendix.

Original languageEnglish
Title of host publicationBulletin of Centre for Informatics (Waseda University)
Pages32-46
Number of pages15
Volume5
Publication statusPublished - 1987 Mar
Externally publishedYes

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Kawano, S., Kadokura, T., Fukazawa, Y., Kurino, S., Hirose, K., Yamada, S., Nasu, H., Kawazoe, H., Sakakura, M., & Utsunomiya, K. (1987). DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE. In Bulletin of Centre for Informatics (Waseda University) (Vol. 5, pp. 32-46)