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