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

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

Research output: Contribution to journalConference article

Abstract

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.

Original languageEnglish
Pages (from-to)51-58
Number of pages8
JournalCEUR Workshop Proceedings
Volume1385
Issue numberJanuary
Publication statusPublished - Jan 1 2015
Event1st 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, Norway
Duration: Jun 23 2015 → …

Fingerprint

Formal methods
Students
software
Software engineering
student
Specification languages
Technical writing
method
engineering
Formal specification

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Cite this

Well-defined software process as vehicle to understand effectiveness of formal methods. / Kusakabe, Shigeru; Omori, Yoichi; Araki, Keijiro.

In: CEUR Workshop Proceedings, Vol. 1385, No. January, 01.01.2015, p. 51-58.

Research output: Contribution to journalConference article

Kusakabe, S, Omori, Y & Araki, K 2015, 'Well-defined software process as vehicle to understand effectiveness of formal methods', CEUR Workshop Proceedings, vol. 1385, no. January, pp. 51-58.
Kusakabe, Shigeru ; Omori, Yoichi ; Araki, Keijiro. / Well-defined software process as vehicle to understand effectiveness of formal methods. In: CEUR Workshop Proceedings. 2015 ; Vol. 1385, No. January. pp. 51-58.
@article{d273ba1b3a1a40baa90978222eb37ebb,
title = "Well-defined software process as vehicle to understand effectiveness of formal methods",
abstract = "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.",
author = "Shigeru Kusakabe and Yoichi Omori and Keijiro Araki",
year = "2015",
month = "1",
day = "1",
language = "English",
volume = "1385",
pages = "51--58",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR-WS",
number = "January",

}

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 -