Nuno Amálio, Pierre Kelsen. Modular Design by Contract Visually and Formally Using VCL. In Christopher D. Hundhausen, Emmanuel Pietriga, Paloma Díaz, Mary Beth Rosson, editors, IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings. pages 227-234, IEEE, 2010. [doi]
@inproceedings{AmalioK10,
title = {Modular Design by Contract Visually and Formally Using VCL},
author = {Nuno Amálio and Pierre Kelsen},
year = {2010},
doi = {10.1109/VLHCC.2010.39},
url = {http://dx.doi.org/10.1109/VLHCC.2010.39},
tags = {contracts, design},
researchr = {https://researchr.org/publication/AmalioK10},
cites = {0},
citedby = {0},
pages = {227-234},
booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings},
editor = {Christopher D. Hundhausen and Emmanuel Pietriga and Paloma Díaz and Mary Beth Rosson},
publisher = {IEEE},
isbn = {978-0-7695-4206-5},
}