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

  • Engineering(all)

フィンガープリント RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Fukazawa, Y., Hirose, K., Hosokawa, K., Sakakura, M., Utsunomiya, K., Yamada, S., & Yoon, S. (1985). RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.Unknown Host Publication Title (pp. 104-108). IEEE.