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.

Authors

Alexandre L. Correa

This author has not been identified. Look up 'Alexandre L. Correa' in Google

Cláudia Maria Lima Werner

This author has not been identified. Look up 'Cláudia Maria Lima Werner' in Google