Specification patterns can be formal and still easy

Fernando Asteasuain, VĂ­ctor A. Braberman. Specification patterns can be formal and still easy. In Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010. pages 430-436, Knowledge Systems Institute Graduate School, 2010.

Abstract

Abstract is missing.