IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns

研究成果: 著書/レポートタイプへの貢献会議での発言

1 引用 (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. This paper proposes iArch-U/MC, an uncertainty-aware model checker for verifying whether or not some important properties are guaranteed even if Known Unknowns remain in a program. Our tool is based on LTSA (Labelled Transition System Analyzer) and is implemented as an Eclipse plug-in.

元の言語英語
ホスト出版物のタイトルICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies
編集者Leszek Maciaszek, Marten van Sinderen, Leszek Maciaszek
出版者SciTePress
ページ176-184
ページ数9
ISBN(電子版)9789897583209
出版物ステータス出版済み - 1 1 2019
イベント13th International Conference on Software Technologies, ICSOFT 2018 - Porto, ポルトガル
継続期間: 7 26 20187 28 2018

出版物シリーズ

名前ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies

会議

会議13th International Conference on Software Technologies, ICSOFT 2018
ポルトガル
Porto
期間7/26/187/28/18

Fingerprint

Software engineering
Uncertainty

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications

これを引用

Ubayashi, N., Kamei, Y., & Sato, R. (2019). IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns. : L. Maciaszek, M. van Sinderen, & L. Maciaszek (版), ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies (pp. 176-184). (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies). SciTePress.

IARCH-U/MC : An uncertainty-aware model checker for embracing known unknowns. / Ubayashi, Naoyasu; Kamei, Yasutaka; Sato, Ryosuke.

ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. 版 / Leszek Maciaszek; Marten van Sinderen; Leszek Maciaszek. SciTePress, 2019. p. 176-184 (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

研究成果: 著書/レポートタイプへの貢献会議での発言

Ubayashi, N, Kamei, Y & Sato, R 2019, IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns. : L Maciaszek, M van Sinderen & L Maciaszek (版), ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies, SciTePress, pp. 176-184, 13th International Conference on Software Technologies, ICSOFT 2018, Porto, ポルトガル, 7/26/18.
Ubayashi N, Kamei Y, Sato R. IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns. : Maciaszek L, van Sinderen M, Maciaszek L, 編集者, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. SciTePress. 2019. p. 176-184. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).
Ubayashi, Naoyasu ; Kamei, Yasutaka ; Sato, Ryosuke. / IARCH-U/MC : An uncertainty-aware model checker for embracing known unknowns. ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. 編集者 / Leszek Maciaszek ; Marten van Sinderen ; Leszek Maciaszek. SciTePress, 2019. pp. 176-184 (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).
@inproceedings{d7896107fe784ad6a237458875c05cbc,
title = "IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns",
abstract = "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. This paper proposes iArch-U/MC, an uncertainty-aware model checker for verifying whether or not some important properties are guaranteed even if Known Unknowns remain in a program. Our tool is based on LTSA (Labelled Transition System Analyzer) and is implemented as an Eclipse plug-in.",
author = "Naoyasu Ubayashi and Yasutaka Kamei and Ryosuke Sato",
year = "2019",
month = "1",
day = "1",
language = "English",
series = "ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies",
publisher = "SciTePress",
pages = "176--184",
editor = "Leszek Maciaszek and {van Sinderen}, Marten and Leszek Maciaszek",
booktitle = "ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies",

}

TY - GEN

T1 - IARCH-U/MC

T2 - An uncertainty-aware model checker for embracing known unknowns

AU - Ubayashi, Naoyasu

AU - Kamei, Yasutaka

AU - Sato, Ryosuke

PY - 2019/1/1

Y1 - 2019/1/1

N2 - 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. This paper proposes iArch-U/MC, an uncertainty-aware model checker for verifying whether or not some important properties are guaranteed even if Known Unknowns remain in a program. Our tool is based on LTSA (Labelled Transition System Analyzer) and is implemented as an Eclipse plug-in.

AB - 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. This paper proposes iArch-U/MC, an uncertainty-aware model checker for verifying whether or not some important properties are guaranteed even if Known Unknowns remain in a program. Our tool is based on LTSA (Labelled Transition System Analyzer) and is implemented as an Eclipse plug-in.

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

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

M3 - Conference contribution

AN - SCOPUS:85071476875

T3 - ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies

SP - 176

EP - 184

BT - ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies

A2 - Maciaszek, Leszek

A2 - van Sinderen, Marten

A2 - Maciaszek, Leszek

PB - SciTePress

ER -