OthelloPlay: a plug-in based tool for requirement formalization and validation

Roberto Cavada, Alessandro Cimatti, Andrea Micheli, Marco Roveri, Angelo Susi, Stefano Tonetta. OthelloPlay: a plug-in based tool for requirement formalization and validation. In Judith Bishop, Karin Breitman, David Notkin, editors, Proceedings of the 1st Workshop on Developing Tools as Plug-ins, TOPI 2011, Waikiki, Honolulu, HI, USA, May 28, 2011. pages 59, ACM, 2011. [doi]

Abstract

Abstract is missing.