Setiadi,T.E., Ohsuga,A., and Maekawa,M.: Efficient Test Case Generation for Detecting Race Conditions, IAENG International Journal of Computer Science, Vol.41, No.2, pp.112-130 (2014.5)
2018年1月18日/ 最終更新日時 : 2018年1月18日
Nakagawa,H., Ohsuga,A., and Honiden,S.: Cooperative Behaviors Description for Self-* Systems Implementation, in Proc. of the 8th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 10), Salamanca, Spain (2010.4), pp.69-74.
2018年1月17日/ 最終更新日時 : 2018年1月17日
Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden: Rewriting LogicModel of Compositional Abstraction of Aspect-Oriented Software, inProc. of the Foundations of Aspect-Oriented Languages Workshop 2010 (FOAL2010), Rennes, France (2010.3). http://www.eecs.ucf.edu/FOAL/papers-2010/Tahara-etal.pdf
