RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

Y. Fukazawa, Kazuhide 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, Y.; Hirose, Kazuhide; 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, Y. ; Hirose, Kazuhide ; 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{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 Kazuhide 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, Y.

AU - Hirose, Kazuhide

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

SN - 081860638X

SP - 104

EP - 108

BT - Unknown Host Publication Title

PB - IEEE

CY - New York, NY, USA

ER -