|
|
|
This subject category contains 3 entries
Cheon, Yoonsik and Gary T., Leavens (2001) A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. Technical Report TR 01-12, Dept. of Computer Science, Iowa State University.
Dhingra , Ruchi, Stakhanova, Natalia and Hua, Ming (2002) The Complete MLSK Model - incorporation of lattice operations and XML implementation. Technical Report 06-13, Department of Computer Science, Iowa State University.
Stakhanova , Natalia and Dhingra, Ruchi (2002) A Multilevel Secure Relational Database Model with key-polyinstantiation. Technical Report 06-12, Department of Computer Science, Iowa State University.
Contact site administrator at: ssg@cs.iastate.edu
|
