TY - JOUR
T1 - TUNING OF AN OS FOR A UNIVERSITY ENVIRONMENT AND ITS EXPERIENCES - AN APPROACH BASED ON THE FORMAL SPECIFICATION.
AU - Kawano, Seiichi
AU - Fukazawa, Yoshiaki
AU - Kadokura, Toshio
PY - 1987/9/1
Y1 - 1987/9/1
N2 - The effectiveness of formal specification in software maintenance is reported. A formal specification language WSN (Waseda Specification Notation), which introduces the formalism into the actual software development, is defined. With this language, the schedule of the commercialized operating system (IBM corp. : VM/370) is formally described and reconstructed. In order to be suited to a university environment, the scheduler is modified based on the formal description. In order to tune the scheduler, the usage of the computer system at Waseda University was measured. From the results, the parts requiring modification were determined. The formal specification written in the development phase was then modified. To examine the effect of modification, the performance of the modified virtual system working under the real system, was measured.
AB - The effectiveness of formal specification in software maintenance is reported. A formal specification language WSN (Waseda Specification Notation), which introduces the formalism into the actual software development, is defined. With this language, the schedule of the commercialized operating system (IBM corp. : VM/370) is formally described and reconstructed. In order to be suited to a university environment, the scheduler is modified based on the formal description. In order to tune the scheduler, the usage of the computer system at Waseda University was measured. From the results, the parts requiring modification were determined. The formal specification written in the development phase was then modified. To examine the effect of modification, the performance of the modified virtual system working under the real system, was measured.
UR - http://www.scopus.com/inward/record.url?scp=0023418263&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0023418263&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:0023418263
SN - 0911-3622
VL - 6
SP - 39
EP - 47
JO - Bulletin of Centre for Informatics, Waseda University
JF - Bulletin of Centre for Informatics, Waseda University
ER -