This subject category contains 5 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.
Jiang, Hsin-yi (2009) A Framework for Estimating the Applicability of GAs for Real‐World Optimization Problems. PhD thesis, Computer Science, Iowa State University.
Pandit, Sushain, VanderPlas, Susan and Zhang, Chaoliang (2009) Motif Recognition. Technical Report TR10-07, Computer Science, Iowa State Universiity.
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: firstname.lastname@example.org