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: 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