Modular Design by Contract Visually and Formally Using VCL

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]

Authors

Nuno Amálio

This author has not been identified. Look up 'Nuno Amálio' in Google

Pierre Kelsen

This author has not been identified. Look up 'Pierre Kelsen' in Google