Several attempts have been made to apply formal methodologies to software development, but they have not been applied to 'real' software development. As a feasibility study of formal methodology applied to software development, an attempt is made to reconstruct a part of an existing operating system, i. e. , a scheduler, using a formal method. The scope of the attempt will then be gradually enlarged.
|Title of host publication||Unknown Host Publication Title|
|Number of pages||5|
|Publication status||Published - 1985 Dec 1|
ASJC Scopus subject areas