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, }