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)

видяно 8346 пъти
Google Scholar
DOI
RTF
EndNote XML

Последно обновяване: понеделник, 03 April 2017