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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.