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

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

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
Pages (from-to)32-46
Number of pages15
JournalBulletin of Centre for Informatics (Waseda University)
Volume5
Publication statusPublished - 1987 Mar 1
Externally publishedYes

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint

Dive into the research topics of 'DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE.'. Together they form a unique fingerprint.

Cite this