Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 CS Personal Webpage
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]