External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Roberto Cavada

This author has not been identified. Look up 'Roberto Cavada' in Google

Alessandro Cimatti

This author has not been identified. Look up 'Alessandro Cimatti' in Google

Andrea Micheli

This author has not been identified. Look up 'Andrea Micheli' in Google

Marco Roveri

This author has not been identified. It may be one of the following persons: Look up 'Marco Roveri' in Google

Angelo Susi

This author has not been identified. Look up 'Angelo Susi' in Google

Stefano Tonetta

This author has not been identified. Look up 'Stefano Tonetta' in Google
runs on