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

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

Publication series

Name2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014 - Proceedings

Other

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

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint

Dive into the research topics of 'Generating supportive hypotheses in introducing formal methods using a software processes improvement model'. Together they form a unique fingerprint.

Cite this