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.
|ホスト出版物のタイトル||Unknown Host Publication Title|
|出版ステータス||Published - 1985 12月 1|
ASJC Scopus subject areas