Biblio
Export 3 results:
Filters: Author is Shinichi Honiden [Clear All Filters]
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.
"Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems." Systems and Computers in Japan 31, no. 13 (2000): 42-56.
Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems In Asia-Pacific Software Engineering Conference (APSEC 99)., 1999.
Partner sites
