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
Externally publishedYes

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