RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

Yoshiaki 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
Place of PublicationNew York, NY, USA
PublisherIEEE
Pages104-108
Number of pages5
ISBN (Print)081860638X
Publication statusPublished - 1985
Externally publishedYes

Fingerprint

Software engineering
Formal methods

ASJC Scopus subject areas

  • Engineering(all)

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). New York, NY, USA: IEEE.

RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH. / Fukazawa, Yoshiaki; Hirose, K.; Hosokawa, K.; Sakakura, M.; Utsunomiya, K.; Yamada, S.; Yoon, S.

Unknown Host Publication Title. New York, NY, USA : IEEE, 1985. p. 104-108.

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

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, New York, NY, USA, 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. New York, NY, USA: IEEE. 1985. p. 104-108
Fukazawa, Yoshiaki ; Hirose, K. ; Hosokawa, K. ; Sakakura, M. ; Utsunomiya, K. ; Yamada, S. ; Yoon, S. / RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH. Unknown Host Publication Title. New York, NY, USA : IEEE, 1985. pp. 104-108
@inproceedings{8cc6665f47814173ad26e31d9ead687c,
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 = "Yoshiaki Fukazawa and K. Hirose and K. Hosokawa and M. Sakakura and K. Utsunomiya and S. Yamada and S. Yoon",
year = "1985",
language = "English",
isbn = "081860638X",
pages = "104--108",
booktitle = "Unknown Host Publication Title",
publisher = "IEEE",

}

TY - GEN

T1 - RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

AU - Fukazawa, Yoshiaki

AU - Hirose, K.

AU - Hosokawa, K.

AU - Sakakura, M.

AU - Utsunomiya, K.

AU - Yamada, S.

AU - Yoon, S.

PY - 1985

Y1 - 1985

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.

UR - http://www.scopus.com/inward/record.url?scp=0022224657&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022224657&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0022224657

SN - 081860638X

SP - 104

EP - 108

BT - Unknown Host Publication Title

PB - IEEE

CY - New York, NY, USA

ER -