|
|
|
This subject category contains 13 entries
Barnett, Mike, Edwards, Stephen H., Giannakopoulou, Dimitra, Leavens, Gary T. and Sharygina, Natasha (2004) SAVCBS 2004 Specification and Verification of Component-Based Systems: Workshop Proceedings. Technical Report 04-09, Computer Science, Iowa State University.
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.
Cheon, Yoonsik and Gary T., Leavens (2003) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR 01-12c, Dept. 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-05a, Department of Computer Science, Iowa State University.
Cheon, Yoonsik, Leavens, Gary T., Sitaraman, Murali and Edwards, Stephen (2003) Model Variables: Cleanly Supporting Abstraction in Design By Contract. Technical Report TR #03-10, Department of Computer Science, Iowa State University.
Cheon, Yoonsik, Leavens, Gary T., Sitaraman, Murali and Edwards, Stephen (2003) Model Variables: Cleanly Supporting Abstraction in Design By Contract. Technical Report TR #03-10a, Department of Computer Science, Iowa State University.
Leavens, Gary T. and Clifton, Curtis (2007) Multiple Concerns in Aspect-Oriented Language Design: Balancing Benefits is the Essence of Language Engineering. Technical Report 07-01, Computer Science, Iowa State University.
Patterson, Jeremiah S. (2002) An Object-Oriented Event Calculus. Technical Report TR02-08, Computer Science, Iowa State University.
Sondag, Tyler and Rajan, Hridesh (2010) Phase-based Tuning for Better Utilized Multicores. Technical Report 08-14b, Computer Science, Iowa State University.
Sun , Hongyu, Basu, Samik, Lutz, Robyn and Honavar, Vasant (2009) Automata-Based Verification of Non-Functional Requirements in Web Service Composition.
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.
Taylor, Kristina B., Rieken, Johannes and Leavens, Gary T. (2008) Adapting the Java Modeling Language for Java 5 Annotations. Technical Report 08-06, Computer Science, Iowa State University.
Contact site administrator at: ssg@cs.iastate.edu
|
