Abstract
For over a decade, major research efforts have been devoted to formal specification techniques for system development. As a result, many specification languages and their support tools have been developed. But not much research has been done on the application of formal specifications to software maintenance. We developed a formal specification language called Waseda Specification Notation (WSN), and have been attempting to apply it to some existing large-scale software systems. One of these is the scheduler of the VM/SP operating system, which was completely specified in WSN. We tuned the scheduler on the basis of the formal specification described, and according to the current characteristics of our computer environment. This paper gives a detailed introduction to the benefits of applying formal specification methods during the maintenance of large systems. Experiences obtained during the study are also described.
| Original language | English |
|---|---|
| Pages (from-to) | 301-309 |
| Number of pages | 9 |
| Journal | Journal of Information Processing |
| Volume | 14 |
| Issue number | 3 |
| Publication status | Published - 1991 |
Fingerprint
ASJC Scopus subject areas
- Engineering(all)
Cite this
Applicability of formal specification to maintenance of large-scale software. / Kawano, Seiichi; Ono, Kouichi; Fukazawa, Yoshiaki; Kadokura, Toshio.
In: Journal of Information Processing, Vol. 14, No. 3, 1991, p. 301-309.Research output: Contribution to journal › Article
}
TY - JOUR
T1 - Applicability of formal specification to maintenance of large-scale software
AU - Kawano, Seiichi
AU - Ono, Kouichi
AU - Fukazawa, Yoshiaki
AU - Kadokura, Toshio
PY - 1991
Y1 - 1991
N2 - For over a decade, major research efforts have been devoted to formal specification techniques for system development. As a result, many specification languages and their support tools have been developed. But not much research has been done on the application of formal specifications to software maintenance. We developed a formal specification language called Waseda Specification Notation (WSN), and have been attempting to apply it to some existing large-scale software systems. One of these is the scheduler of the VM/SP operating system, which was completely specified in WSN. We tuned the scheduler on the basis of the formal specification described, and according to the current characteristics of our computer environment. This paper gives a detailed introduction to the benefits of applying formal specification methods during the maintenance of large systems. Experiences obtained during the study are also described.
AB - For over a decade, major research efforts have been devoted to formal specification techniques for system development. As a result, many specification languages and their support tools have been developed. But not much research has been done on the application of formal specifications to software maintenance. We developed a formal specification language called Waseda Specification Notation (WSN), and have been attempting to apply it to some existing large-scale software systems. One of these is the scheduler of the VM/SP operating system, which was completely specified in WSN. We tuned the scheduler on the basis of the formal specification described, and according to the current characteristics of our computer environment. This paper gives a detailed introduction to the benefits of applying formal specification methods during the maintenance of large systems. Experiences obtained during the study are also described.
UR - http://www.scopus.com/inward/record.url?scp=0026380520&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0026380520&partnerID=8YFLogxK
M3 - Article
VL - 14
SP - 301
EP - 309
JO - Journal of Information Processing
JF - Journal of Information Processing
SN - 0387-5806
IS - 3
ER -