|
|
|
This subject category contains 5 entries
Boysen, Kristina P. and Leavens, Gary T. (2008) Discussion of Design Alternatives for JML Java 5 Annotations. Technical Report 08-01, Computer Science, Iowa State University.
Cheon, Yoonsik (2003) A Runtime Assertion Checker for the Java Modeling Language. PhD thesis, Department of Computer Science, Iowa State University.
Clifton, Curtis, Leavens, Gary T. and Noble, James (2007) MAO: Ownership and Effects for more Effective Reasoning about Aspects. Technical Report 06-35a, Computer Science, Iowa State University.
Leavens, Gary T. and Clifton, Curtis (2007) Multiple Concerns in Aspect-Oriented Language Design: A Language Engineering Approach to Balancing Benefits, with Examples. Technical Report TR #07-01a, Computer Science, Iowa State University.
Taylor, Kristina B. (2008) A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations. Masters thesis, Computer Science, Iowa State University.
Contact site administrator at: ssg@cs.iastate.edu
|
