Biblio

Export 1 results:
Filters: Author is Kenji Taguchi  [Clear All Filters]
2007
Nakagawa, Hiroyuki, Kenji Taguchi, and Shinichi Honiden. Formal Specification Generator for KAOS: Model Transformation Approach to Generate Formal Specifications from KAOS Requirements Models In Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering. Atlanta, GA, 2007.