Jung Ho Bae, Heung Seok Chae. An Automatic Approach to Generating State Diagram from Contract-Based Class. In 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009. pages 323-331, IEEE Computer Society, 2009. [doi]
@inproceedings{BaeC09,
title = {An Automatic Approach to Generating State Diagram from Contract-Based Class},
author = {Jung Ho Bae and Heung Seok Chae},
year = {2009},
doi = {10.1109/ECBS.2009.36},
url = {http://dx.doi.org/10.1109/ECBS.2009.36},
tags = {rule-based, contracts, systematic-approach},
researchr = {https://researchr.org/publication/BaeC09},
cites = {0},
citedby = {0},
pages = {323-331},
booktitle = {16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3602-6},
}