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.
|ジャーナル||Bulletin of Centre for Informatics (Waseda University)|
|出版ステータス||Published - 1987 3 1|
ASJC Scopus subject areas