Formal Specification Generator for KAOS: Model Transformation Approach to Generate Formal Specifications from KAOS Requirements Models Вид публикации: Conference Proceedings Авторы: Hiroyuki Nakagawa; Kenji Taguchi; Shinichi Honiden Источник: Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering, Atlanta, GA, p.531-532. (2007)
