RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

Y. Fukazawa*, K. Hirose, K. Hosokawa, M. Sakakura, K. Utsunomiya, S. Yamada, S. Yoon

*この研究の対応する著者

研究成果: Conference contribution

抄録

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

  • 工学(全般)

フィンガープリント

「RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル