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 -