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: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	32-46
Number of pages	15
Journal	Bulletin of Centre for Informatics (Waseda University)
Volume	5
Publication status	Published - 1987 Mar 1
Externally published	Yes

ASJC Scopus subject areas

Engineering(all)

Access to Document

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

Cite this

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.

In: Bulletin of Centre for Informatics (Waseda University), Vol. 5, 01.03.1987, p. 32-46.

Research output: Contribution to journal › Article › peer-review

@article{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,

day = "1",

language = "English",

volume = "5",

pages = "32--46",

journal = "Bulletin of Centre for Informatics, Waseda University",

issn = "0911-3622",

}

TY - JOUR

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/1

Y1 - 1987/3/1

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

AN - SCOPUS:0023303459

VL - 5

SP - 32

EP - 46

JO - Bulletin of Centre for Informatics, Waseda University

JF - Bulletin of Centre for Informatics, Waseda University

SN - 0911-3622

ER -