- Toward Instant Gradeification, Daniel M. Zimmerman, Joseph R. Kiniry and Fintan Fairmichael. 24th IEEE-CS Conference on Software Engineering Education and Training, Waikiki, Honolulu, Hawaii. May 2011. (presentation slides)
- Verified Gaming, Joseph R. Kiniry and Daniel M. Zimmerman. 1st Games and Software Engineering Workshop (GAS 2011), at 33rd International Conference on Software Engineering (ICSE 2011), Waikiki, Honolulu, Hawaii, May 2011. (presentation slides)
- A Verification-centric Software Development Process for Java, Daniel M. Zimmerman and Joseph R. Kiniry. 9th International Conference on Quality Software (QSIC 2009), Jeju, Korea, August 2009.
- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations, Joseph R. Kiniry and Fintan Fairmichael. 12th International Symposium on Component-Based Software Engineering (CBSE ’09), East Stroudsburg University, Pennsylvania, June 2009.
- Secret Ninja Formal Methods, Joseph R. Kiniry and Daniel M. Zimmerman. 15th International Symposium on Formal Methods (FM '08), Turku, Finland, May 2008.
Verified Gaming
Integrating Formal Methods and Game Development
The following publications, listed in reverse chronological
order, are related to our work on verified gaming, our use
of games in formal methods-rich software engineering
courses, and the tools we use in such courses.
Last Updated 01/18/16
© 2011 Daniel M. Zimmerman and Joseph R.
Kiniry