抄録
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.
| 本文言語 | English |
|---|---|
| ホスト出版物のタイトル | Unknown Host Publication Title |
| 出版社 | IEEE |
| ページ | 104-108 |
| ページ数 | 5 |
| ISBN（印刷版） | 081860638X |
| 出版ステータス | Published - 1985 12月 1 |
| 外部発表 | はい |
ASJC Scopus subject areas
- 工学（全般）