TY - GEN
T1 - Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models
AU - Nakagawa, Hiroyuki
AU - Taguchi, Kenji
AU - Honiden, Shinichi
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
KW - formal methods
KW - model transformation
KW - requirements analysis
UR - http://www.scopus.com/inward/record.url?scp=56549086788&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=56549086788&partnerID=8YFLogxK
U2 - 10.1145/1321631.1321729
DO - 10.1145/1321631.1321729
M3 - Conference contribution
AN - SCOPUS:56549086788
SN - 9781595938824
T3 - ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering
SP - 531
EP - 532
BT - ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering
T2 - 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07
Y2 - 5 November 2007 through 9 November 2007
ER -