archives

EPrints submitted by Kristina B. Taylor

Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Click here to see user's record.

User has submitted 3 EPrints

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.

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.

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.


Contact site administrator at: ssg@cs.iastate.edu