Alexandre L. Correa, Cláudia Maria Lima Werner
Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios
SEKE, 2004.
@inproceedings{SEKE-2004-CorreaW,
author = "Alexandre L. Correa and Cláudia Maria Lima Werner",
booktitle = "{Proceedings of the 16th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-14-4",
pages = "294--299",
title = "{Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios}",
year = 2004,
}











