Describing software specification by combining SysML with the B method

Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

This paper shows a methodology to describe software specifications combining SysML with the B method. Modeling languages of a system such as SysML do not guarantee the correctness of the specification. In addition, formal methods including the B method are generally difficult to use for describing software specifications from ambiguous requirements at the start of the development, because it is not easy for software developers to denote the formal notations. Our methodology redeems those shortcomings by iterating processes which translate SysML diagrams to the abstract machine notations of the B method. At the last part of this paper, we showed the effectiveness of our methodology with an example.

本文言語English
ホスト出版物のタイトルProceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
出版社Institute of Electrical and Electronics Engineers Inc.
ページ146-151
ページ数6
ISBN(電子版)9781479973774
DOI
出版ステータスPublished - 2014 12 12
イベント25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 - Naples, Italy
継続期間: 2014 11 32014 11 6

出版物シリーズ

名前Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014

Other

Other25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
国/地域Italy
CityNaples
Period14/11/314/11/6

ASJC Scopus subject areas

  • ソフトウェア
  • 安全性、リスク、信頼性、品質管理

フィンガープリント

「Describing software specification by combining SysML with the B method」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル