|
|
|
This subject category contains 3 entries
Bagherzadeh, Mehdi, Rajan, Hridesh, Gary T., Leavens and Mooney, Sean (2010) Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces. Technical Report 10-02a, Department of Computer Science, Iowa State University.
Cheon, Yoonsik and Leavens, Gary T. (2002) A Runtime Assertion Checker for the Java Modeling Language (JML). Technical Report TR #02-05, Department of Computer Science, Iowa State University.
Dehlinger, Josh and Subramanian, Nalin V. (2006) Architecting Secure Software Systems Using an Aspect-Oriented Approach: : A Survey of Current Research. Technical Report, Computer Science, Iowa State University.
Contact site administrator at: ssg@cs.iastate.edu
|
