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

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 proceeding › Chapter

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 language	English
Title of host publication	Bulletin of Centre for Informatics (Waseda University)
Pages	32-46
Number of pages	15
Volume	5
Publication status	Published - 1987 Mar
Externally published	Yes

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)

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 proceeding › Chapter

@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 = mar

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

AN - SCOPUS:0023303459

VL - 5

SP - 32

EP - 46

BT - Bulletin of Centre for Informatics (Waseda University)

ER -

DETAILED DESCRIPTIVE SPECIFICATION OF VM SCHEDULER AND ITS EXPERIENCE.

Abstract

Fingerprint

ASJC Scopus subject areas

Cite this

Access to Document