Well-defined software process as vehicle to understand effectiveness of formal methods

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

研究成果: Contribution to journalConference article査読

抄録

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 → …

All Science Journal Classification (ASJC) codes

  • コンピュータ サイエンス(全般)

フィンガープリント

「Well-defined software process as vehicle to understand effectiveness of formal methods」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル