Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden. Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. In R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer, editors, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA. pages 531-532, ACM, 2007. [doi]
Abstract is missing.