RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

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

RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

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

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Unknown Host Publication Title
Publisher	IEEE
Pages	104-108
Number of pages	5
ISBN (Print)	081860638X
Publication status	Published - 1985 Dec 1
Externally published	Yes

ASJC Scopus subject areas

Engineering(all)

Cite this

@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 = "Y. Fukazawa and K. Hirose and K. Hosokawa and M. Sakakura and K. Utsunomiya and S. Yamada and S. Yoon",

year = "1985",

month = dec,

day = "1",

language = "English",

isbn = "081860638X",

publisher = "IEEE",

pages = "104--108",

booktitle = "Unknown Host Publication Title",

}

TY - GEN

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.

PY - 1985/12/1

Y1 - 1985/12/1

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

ER -

RECONSTRUCTION OF AN OPERATING SYSTEM USING A FORMAL APPROACH.

Abstract

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this