Papers
Submitted
- Kristina B. Taylor, Johannes Rieken, and Gary T. Leavens. Adapting the Java Modeling Language for Java 5 Annotations. Department of Computer Science, Iowa State University, TR #08-06, April 2008. [abstract] [PDF]
- Kristina B. Taylor. A Specification Language Design for the Java Modeling Language (JML) Using Java 5 Annotations. Department of Computer Science, Iowa State University, TR #08-03, April 2008. [abstract] [PDF]
- Kristina P. Boysen and Gary T. Leavens. Discussion of Design Alternatives for JML Java 5 Annotations. Department of Computer Science, Iowa State University, TR #08-01, January 2008. [abstract] [PDF]
- Kristina P. Boysen and Gary T. Leavens. Automatically generating consistent graphical user interfaces using a parser generator. Department of Computer Science, Iowa State University, TR #04-07a, August 2004, revised November 2005. [abstract] [PDF]