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

Specifications
Formal logic

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Kawano, S., Kadokura, T., Fukazawa, Y., Kurino, S., Hirose, K., Yamada, S., ... 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)

DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE. / Kawano, Seiichi; Kadokura, Toshio; Fukazawa, Yoshiaki; Kurino, Shunichi; Hirose, Ken; Yamada, Shinichi; Nasu, Hideki; Kawazoe, Hiroshi; Sakakura, Masayoshi; Utsunomiya, Kiminori.

Bulletin of Centre for Informatics (Waseda University). Vol. 5 1987. p. 32-46.

Research output: Chapter in Book/Report/Conference proceedingChapter

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.
Kawano S, Kadokura T, Fukazawa Y, Kurino S, Hirose K, Yamada S et al. DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE. In Bulletin of Centre for Informatics (Waseda University). Vol. 5. 1987. p. 32-46
Kawano, Seiichi ; Kadokura, Toshio ; Fukazawa, Yoshiaki ; Kurino, Shunichi ; Hirose, Ken ; Yamada, Shinichi ; Nasu, Hideki ; Kawazoe, Hiroshi ; Sakakura, Masayoshi ; Utsunomiya, Kiminori. / DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE. Bulletin of Centre for Informatics (Waseda University). Vol. 5 1987. pp. 32-46
@inbook{7cecfa315d6443e0880c5549cf643d4e,
title = "DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE.",
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.",
author = "Seiichi Kawano and Toshio Kadokura and Yoshiaki Fukazawa and Shunichi Kurino and Ken Hirose and Shinichi Yamada and Hideki Nasu and Hiroshi Kawazoe and Masayoshi Sakakura and Kiminori Utsunomiya",
year = "1987",
month = "3",
language = "English",
volume = "5",
pages = "32--46",
booktitle = "Bulletin of Centre for Informatics (Waseda University)",

}

TY - CHAP

T1 - DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE.

AU - Kawano, Seiichi

AU - Kadokura, Toshio

AU - Fukazawa, Yoshiaki

AU - Kurino, Shunichi

AU - Hirose, Ken

AU - Yamada, Shinichi

AU - Nasu, Hideki

AU - Kawazoe, Hiroshi

AU - Sakakura, Masayoshi

AU - Utsunomiya, Kiminori

PY - 1987/3

Y1 - 1987/3

N2 - 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.

AB - 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.

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

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

M3 - Chapter

VL - 5

SP - 32

EP - 46

BT - Bulletin of Centre for Informatics (Waseda University)

ER -