Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models

Hiroyuki Nakagawa*, Kenji Taguchi, Shinichi Honiden

*この研究の対応する著者

研究成果: Conference contribution

13 被引用数 (Scopus)

抄録

Formal methods and requirements analysis are techniques for developing complex systems. However, there is little research on reconciling the requirements phase with the formal specification phase. To bridge this gap, we propose a formal specification generator based on model transformation techniques. This tool transforms KAOS models (requirements specifications) into VDM++ formal specifications. Our generator enables consistent and effective software development activities.

本文言語English
ホスト出版物のタイトルASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering
ページ531-532
ページ数2
DOI
出版ステータスPublished - 2007
外部発表はい
イベント22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07 - Atlanta, GA, United States
継続期間: 2007 11月 52007 11月 9

出版物シリーズ

名前ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Other

Other22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07
国/地域United States
CityAtlanta, GA
Period07/11/507/11/9

ASJC Scopus subject areas

  • 計算理論と計算数学
  • ソフトウェア

フィンガープリント

「Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル