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