RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.
Y. Fukazawa, K. Hirose, K. Hosokawa, M. Sakakura, K. Utsunomiya, S. Yamada, S. Yoon
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.
Unknown Host Publication Title
Dive into the research topics of 'RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.'. Together they form a unique fingerprint.
Software engineering Engineering & Materials Science 100%
Formal methods Engineering & Materials Science 47%
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.
RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH. / Fukazawa, Y.; Hirose, K.; Hosokawa, K. et al.
Unknown Host Publication Title. IEEE, 1985. p. 104-108.
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. IEEE, pp. 104-108.
Fukazawa Y, Hirose K, Hosokawa K, Sakakura M, Utsunomiya K, Yamada S et al. RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH. In Unknown Host Publication Title. IEEE. 1985. p. 104-108
Fukazawa, Y. ; Hirose, K. ; Hosokawa, K. et al. / RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH. Unknown Host Publication Title. IEEE, 1985. pp. 104-108
@inproceedings{a480c938758445fbbdedbb14b0bd7390,
title = "RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.",
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.",
author = "Y. Fukazawa and K. Hirose and K. Hosokawa and M. Sakakura and K. Utsunomiya and S. Yamada and S. Yoon",
isbn = "081860638X",
publisher = "IEEE",
booktitle = "Unknown Host Publication Title",
T1 - RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.
AU - Fukazawa, Y.
AU - Hirose, K.
AU - Hosokawa, K.
AU - Sakakura, M.
AU - Utsunomiya, K.
AU - Yamada, S.
AU - Yoon, S.
N2 - 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.
AB - 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.
BT - Unknown Host Publication Title
PB - IEEE