Generating supportive hypotheses in introducing formal methods using a software processes improvement model

Shigeru Kusakabe, Hsin Hung Lin, Yoichi Omori, Keijiro Araki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

We are investigating the effective facilitation methodology for the introduction of formal methods into actual software developments. One of the important issues is how to define and develop an adequate development process with formal methods. In this paper, we discuss this issue from a view point of software process improvement using a standard development process model, CMMI-DEV, which is a compilation of best practices in software development. We expect using the standard process model as a reference can facilitate common understanding for the advantages of formal methods and the comparison between actual instances of software process with formal methods. This approach leads to the exploitation of knowledge and findings obtained in the successful cases. We generate supportive hypotheses in the effect of formal methods on software development processes by using the standard improvement model. Then, we weakly examine them with a combination of a small-scale process, which has a strong relation to the organization level process, and a model-oriented formal method, VDM.

Original languageEnglish
Title of host publication2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings
PublisherAssociation for Computing Machinery, Inc
Pages24-30
Number of pages7
ISBN (Electronic)9781450328531
DOIs
Publication statusPublished - Jun 3 2014
Event2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Hyderabad, India
Duration: Jun 3 2014 → …

Other

Other2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014
CountryIndia
CityHyderabad
Period6/3/14 → …

Fingerprint

Formal methods
Software engineering
Specification languages

All Science Journal Classification (ASJC) codes

  • Software

Cite this

Kusakabe, S., Lin, H. H., Omori, Y., & Araki, K. (2014). Generating supportive hypotheses in introducing formal methods using a software processes improvement model. In 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings (pp. 24-30). Association for Computing Machinery, Inc. https://doi.org/10.1145/2593489.2593497

Generating supportive hypotheses in introducing formal methods using a software processes improvement model. / Kusakabe, Shigeru; Lin, Hsin Hung; Omori, Yoichi; Araki, Keijiro.

2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings. Association for Computing Machinery, Inc, 2014. p. 24-30.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Kusakabe, S, Lin, HH, Omori, Y & Araki, K 2014, Generating supportive hypotheses in introducing formal methods using a software processes improvement model. in 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings. Association for Computing Machinery, Inc, pp. 24-30, 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, 6/3/14. https://doi.org/10.1145/2593489.2593497
Kusakabe S, Lin HH, Omori Y, Araki K. Generating supportive hypotheses in introducing formal methods using a software processes improvement model. In 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings. Association for Computing Machinery, Inc. 2014. p. 24-30 https://doi.org/10.1145/2593489.2593497
Kusakabe, Shigeru ; Lin, Hsin Hung ; Omori, Yoichi ; Araki, Keijiro. / Generating supportive hypotheses in introducing formal methods using a software processes improvement model. 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings. Association for Computing Machinery, Inc, 2014. pp. 24-30
@inproceedings{69ccb7660409423fb534a065a52f85cf,
title = "Generating supportive hypotheses in introducing formal methods using a software processes improvement model",
abstract = "We are investigating the effective facilitation methodology for the introduction of formal methods into actual software developments. One of the important issues is how to define and develop an adequate development process with formal methods. In this paper, we discuss this issue from a view point of software process improvement using a standard development process model, CMMI-DEV, which is a compilation of best practices in software development. We expect using the standard process model as a reference can facilitate common understanding for the advantages of formal methods and the comparison between actual instances of software process with formal methods. This approach leads to the exploitation of knowledge and findings obtained in the successful cases. We generate supportive hypotheses in the effect of formal methods on software development processes by using the standard improvement model. Then, we weakly examine them with a combination of a small-scale process, which has a strong relation to the organization level process, and a model-oriented formal method, VDM.",
author = "Shigeru Kusakabe and Lin, {Hsin Hung} and Yoichi Omori and Keijiro Araki",
year = "2014",
month = "6",
day = "3",
doi = "10.1145/2593489.2593497",
language = "English",
pages = "24--30",
booktitle = "2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings",
publisher = "Association for Computing Machinery, Inc",

}

TY - GEN

T1 - Generating supportive hypotheses in introducing formal methods using a software processes improvement model

AU - Kusakabe, Shigeru

AU - Lin, Hsin Hung

AU - Omori, Yoichi

AU - Araki, Keijiro

PY - 2014/6/3

Y1 - 2014/6/3

N2 - We are investigating the effective facilitation methodology for the introduction of formal methods into actual software developments. One of the important issues is how to define and develop an adequate development process with formal methods. In this paper, we discuss this issue from a view point of software process improvement using a standard development process model, CMMI-DEV, which is a compilation of best practices in software development. We expect using the standard process model as a reference can facilitate common understanding for the advantages of formal methods and the comparison between actual instances of software process with formal methods. This approach leads to the exploitation of knowledge and findings obtained in the successful cases. We generate supportive hypotheses in the effect of formal methods on software development processes by using the standard improvement model. Then, we weakly examine them with a combination of a small-scale process, which has a strong relation to the organization level process, and a model-oriented formal method, VDM.

AB - We are investigating the effective facilitation methodology for the introduction of formal methods into actual software developments. One of the important issues is how to define and develop an adequate development process with formal methods. In this paper, we discuss this issue from a view point of software process improvement using a standard development process model, CMMI-DEV, which is a compilation of best practices in software development. We expect using the standard process model as a reference can facilitate common understanding for the advantages of formal methods and the comparison between actual instances of software process with formal methods. This approach leads to the exploitation of knowledge and findings obtained in the successful cases. We generate supportive hypotheses in the effect of formal methods on software development processes by using the standard improvement model. Then, we weakly examine them with a combination of a small-scale process, which has a strong relation to the organization level process, and a model-oriented formal method, VDM.

UR - http://www.scopus.com/inward/record.url?scp=84937137478&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84937137478&partnerID=8YFLogxK

U2 - 10.1145/2593489.2593497

DO - 10.1145/2593489.2593497

M3 - Conference contribution

AN - SCOPUS:84937137478

SP - 24

EP - 30

BT - 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings

PB - Association for Computing Machinery, Inc

ER -