RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationUnknown Host Publication Title
PublisherIEEE
Pages104-108
Number of pages5
ISBN (Print)081860638X
Publication statusPublished - 1985 Dec 1

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.'. Together they form a unique fingerprint.

  • Cite this

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