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.
|Title of host publication||Bulletin of Centre for Informatics (Waseda University)|
|Number of pages||15|
|Publication status||Published - 1987 Mar|
ASJC Scopus subject areas