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.
@inproceedings{CorreaW04:0,
title = {Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios},
author = {Alexandre L. Correa and Cláudia Maria Lima Werner},
year = {2004},
tags = {rule-based, systematic-approach},
researchr = {https://researchr.org/publication/CorreaW04%3A0},
cites = {0},
citedby = {0},
pages = {294-299},
booktitle = {Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2004), Banff, Alberta, Canada, June 20-24, 2004},
editor = {Frank Maurer and Günther Ruhe},
isbn = {1-891706-14-4},
}