Toward Translating Design Constraints to Run-Time Assertions
Tài liệu tham khảo
Kramer, 1998, iContract – The Java Design by Contract Tool, 295
Luckham, 1987, Anna - A Language for Annotating Ada Programs, volume 260
P. Maker. GNU Nana – User's Guide (version 2.4). Technical report, School of Information Technology – Northern Territory University, July 1998
S. Microsystems. Adl language reference manual, 1993
Obayashi
Object Management Group, 429 Old Connecticut Path, Framingham, MA 01701, USA. OMG Unified Modeling Language Specification, version 1.5 edition, 2002. Available for download from www.omg.org
Richters, 1999, A metamodel for OCL, volume 1723
Rosenblum, 1995, A Practical Approach to Programming With Assertions, IEEE Transactions on Software Engineering, 21, 19, 10.1109/32.341844
Warmer, 1999, OCL: The constraint language of the UML, Journal of Object-Oriented Programming, 12, 10