Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios

Alexandre L. Correa, Cláudia Maria Lima Werner. Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios. In Frank Maurer, Günther Ruhe, editors, Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2004), Banff, Alberta, Canada, June 20-24, 2004. pages 294-299, 2004.

Abstract

Abstract is missing.