COMP 132: Computer Science II
COMP 314: Theoretical Foundations of Computer Science
B.S. 1990, Computer Science, Iowa State University
M.S. 1992, Computer Science, Iowa State University
Ph.D. 1995, Computer Science, Iowa State University
Research and Teaching Interests
My main research interests
are in specification language design and semantics (especially for
object-oriented specification languages), and in the execution of formal
the applications of constraint logic programming techniques in executing
formal specifications). I have also done some work in linguistic content
analysis and computer science education.
My teaching specializations are in software engineering and programming
languages. I have also taught courses in database, compilers, constraint
programming, networking, Java, Visual Basic, C and UNIX,
algorithms and simulation.
(717) 245 - 1743
office hours: MF 11:00 a.m. - noon, TR 1:30 - 2:30 p.m.
also by appointment and whenever my office door is open
The original version of the jmle tool (used for executing JML specifications)
is available from the JML homepage as part
of the Common JML Tools. An alpha release of a version built using
is available here
The EventB2JML tool is used to translate Event-B models to JML specifications (and soon, Java implementations!).
The tool and more information about it are available
- Michael Keating, Adrian Kostrubiak and Tim Wahls.
Enhancing the jmle Tool.
Proceedings of the 26th Annual Conference of The Pennsylvania Association of
Computer and Information Science Educators (PACISE). 15 - 21.
April 8 - 9, 2011. Shippensburg University, Shippensburg, PA.
- Grant Braught and Tim Wahls.
Teaching Objects in Context.
The Journal of Computing Sciences in Colleges.
Volume 23, Number 5, May 2008. 101 - 109.
- Ben Krause and Tim Wahls.
jmle: A Tool for Executing JML Specifications via Constraint Programming.
in L. Brim, editor, Formal Methods for Industrial Critical Systems
Bonn, Germany. August 26 - 27, 2006.
Volume 4346 of Lecture Notes in Computer Science. 293 - 296.
- Tim Wahls. Compiling Formal Specifications to Oz Programs.
MOZ 2004, The Second International Mozart/Oz Conference,
Charleroi, Belgium. October 7 - 8, 2004.
Lecture Notes in Computer Science, Volume 3389. 66 - 77. 2005.
- Brian Fenicle and Tim Wahls.
A Secure Methodology for Interchangeable Services.
The Journal of Information and Software Technology.
Volume 46, Number 5. 343 - 349. 2004.
- Ping Wang, Qingru Zhang and Tim Wahls.
WebQuery: A Simple Web-Enabled System
for Database Management. The Journal of Computing in Small Conferences,
Volume 17, Number 4, March 2002. 7 - 15. Also presented at the the Consortium
for Computing in Small Colleges Central Plains Regional Conference. Kansas
City, Kansas. April 5 - 6, 2002.
- Danqing Wu, Yiching Cheng and Tim Wahls.
A Graphical User Interface for Editing Formal Specification Objects. The
Journal of Computing in Small Conferences, Volume 17, Number 4, March 2002.
79 - 86. Also presented at the Consortium for Computing in Small Colleges
Central Plains Regional Conference. Kansas City, Kansas. April 5 - 6, 2002.
- Tim Wahls, Gary T. Leavens and Albert L. Baker.
Executing Formal Specifications with Concurrent Constraint Programming.
The Automated Software Engineering Journal, Volume 7, Number 4, December
- Tim Wahls. Teaching Software Engineering
with TCL/Tk. The Journal of Computing in Small Colleges, Volume 14, Number
3, March 1999. 278 - 287.
- Tim Wahls and Linda Null. Developing
Web-based Course Materials - How to Start and Why. The Journal of Computing
in Small Colleges, Volume 12, Number 4, March 1997. 366 - 373.
- Tim Wahls and Linda Null. The Information Turnpike? Proceedings
of The Thirteenth International Conference on Technology and Education (ICTE96).
Volume II, 1996. 437 - 439.