{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Nakagawa, Hiroyuki, Kenji Taguchi, and Shinichi Honiden. \i Formal Specification Generator for KAOS: Model Transformation Approach to Generate Formal Specifications from KAOS Requirements Models\i0  In \i Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering\i0 . Atlanta, GA, 2007.\par \par Kawamura, Takahira, Yasuyuki Tahara, Tetsuo Hasegawa, and Shinichi Honiden. "Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems." \i Systems and Computers in Japan\i0  31, no. 13 (2000): 42-56.\par \par Kawamura, Takahira, Tetsuo Hasegawa, Akihiko Ohsuga, and Shinichi Honiden. \i Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems\i0  In \i Asia-Pacific Software Engineering Conference (APSEC 99)\i0 ., 1999.\par \par }