抄録
In addition to software development techniques such as formal methods, software process is important for effectively developing quality software. In the literature, we have well-defined process templates which provide mechanisms for measuring, controlling, managing, and improving the way we develop software. Well-defined process templates can serve as a vehicle to integrate advanced software engineering techniques, such as formal methods, into actual software development. We expect that students who have mastered such a well-defined process template can effectively use formal methods and understand the effectiveness of formal methods. In this paper, we report on a trial case of team software process in which students tried using a model-oriented formal specification language in a lightweight way for their project. We generated a hypothesis that students with some process capabilities understand the effectiveness of rigorously writing specifications in a formal specification language while students with less capabilities do not.
| 元の言語 | 英語 |
|---|---|
| ページ（範囲） | 51-58 |
| ページ数 | 8 |
| ジャーナル | CEUR Workshop Proceedings |
| 巻 | 1385 |
| 発行部数 | January |
| 出版物ステータス | 出版済み - 1 1 2015 |
| イベント | 1st Workshop on Formal Methods in Software Engineering Education and Training, FMSEE and T 2015 - co-located with the 20th International Symposium on Formal Methods, FM 2015 - Oslo, ノルウェー 継続期間: 6 23 2015 → … |
Fingerprint
All Science Journal Classification (ASJC) codes
- Computer Science(all)
これを引用
Well-defined software process as vehicle to understand effectiveness of formal methods. / Kusakabe, Shigeru; Omori, Yoichi; Araki, Keijiro.
：: CEUR Workshop Proceedings, 巻 1385, 番号 January, 01.01.2015, p. 51-58.研究成果: ジャーナルへの寄稿 › Conference article
}
TY - JOUR
T1 - Well-defined software process as vehicle to understand effectiveness of formal methods
AU - Kusakabe, Shigeru
AU - Omori, Yoichi
AU - Araki, Keijiro
PY - 2015/1/1
Y1 - 2015/1/1
N2 - In addition to software development techniques such as formal methods, software process is important for effectively developing quality software. In the literature, we have well-defined process templates which provide mechanisms for measuring, controlling, managing, and improving the way we develop software. Well-defined process templates can serve as a vehicle to integrate advanced software engineering techniques, such as formal methods, into actual software development. We expect that students who have mastered such a well-defined process template can effectively use formal methods and understand the effectiveness of formal methods. In this paper, we report on a trial case of team software process in which students tried using a model-oriented formal specification language in a lightweight way for their project. We generated a hypothesis that students with some process capabilities understand the effectiveness of rigorously writing specifications in a formal specification language while students with less capabilities do not.
AB - In addition to software development techniques such as formal methods, software process is important for effectively developing quality software. In the literature, we have well-defined process templates which provide mechanisms for measuring, controlling, managing, and improving the way we develop software. Well-defined process templates can serve as a vehicle to integrate advanced software engineering techniques, such as formal methods, into actual software development. We expect that students who have mastered such a well-defined process template can effectively use formal methods and understand the effectiveness of formal methods. In this paper, we report on a trial case of team software process in which students tried using a model-oriented formal specification language in a lightweight way for their project. We generated a hypothesis that students with some process capabilities understand the effectiveness of rigorously writing specifications in a formal specification language while students with less capabilities do not.
UR - http://www.scopus.com/inward/record.url?scp=84937127402&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84937127402&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:84937127402
VL - 1385
SP - 51
EP - 58
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
SN - 1613-0073
IS - January
ER -