Biblio

Export 1 results:
Filters: Автор is Hiroyuki Nakagawa  [Clear All Filters]
2007
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.