Modular Programming and Reasoning for Living with Uncertainty

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

2 被引用数 (Scopus)

抄録

Embracing uncertainty in software development is one of the crucial research topics in software engineering. In most projects, we have to deal with uncertain concerns by using informal ways such as documents, mailing lists, or issue tracking systems. This task is tedious and error-prone. Especially, uncertainty in programming is one of the challenging issues to be tackled, because it is difficult to verify the correctness of a program when there are uncertain user requirements, unfixed design choices, and alternative algorithms. If uncertainty can be dealt with modularly, we can add or delete uncertain concerns to/from code whenever they arise or are fixed to certain concerns. This paper proposes a new programming and reasoning style based on Modularity for Uncertainty. The iArch-U IDE (Integrated Development Environment) is developed to support uncertainty-aware software development. The combined usage of a type checker and a model checker in iArch-U plays an important role in verifying whether or not some important properties are guaranteed even if uncertainty remains in a program. Our model checker is based on LTSA (Labelled Transition System Analyzer) and is implemented as an Eclipse plug-in. Agile methods embrace change to accept changeable user requirements. On the other hand, our approach embraces uncertainty to support exploratory software development.

本文言語英語
ホスト出版物のタイトルSoftware Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers
編集者Leszek A. Maciaszek, Leszek A. Maciaszek, Marten van Sinderen
出版社Springer Verlag
ページ220-244
ページ数25
ISBN(印刷版)9783030291563
DOI
出版ステータス出版済み - 2019
イベント13th International Conference on Software Technologies, ICSOFT 2018 - Porto, ポルトガル
継続期間: 7月 26 20187月 28 2018

出版物シリーズ

名前Communications in Computer and Information Science
1077
ISSN(印刷版)1865-0929
ISSN(電子版)1865-0937

会議

会議13th International Conference on Software Technologies, ICSOFT 2018
国/地域ポルトガル
CityPorto
Period7/26/187/28/18

!!!All Science Journal Classification (ASJC) codes

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

フィンガープリント

「Modular Programming and Reasoning for Living with Uncertainty」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル