Tim Wahls

Courses Taught, Spring 2013
COMP 132: Computer Science II
COMP 314: Theoretical Foundations of Computer Science

Education
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 specifications (especially 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, object-oriented programming, networking, Java, Visual Basic, C and UNIX, algorithms and simulation.


Office:
Tome 244

Telephone:
(717) 245 - 1743

e-mail:
wahlst@dickinson.edu

Office Hours:
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


Research Projects
  • jmle
    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 OpenJML is available here
  • EventB2JML
    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 here.

ACM Publications

ACM DL Author-ize serviceTranslating B machines to JML specifications
Nestor Catano, Tim Wahls, Camilo Rueda, Victor Rivera, Danni Yu
SAC '12 Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012
ACM DL Author-ize serviceThe benefits of pairing by ability
Grant Braught, John MacCormick, Tim Wahls
SIGCSE '10 Proceedings of the 41st ACM technical symposium on Computer science education, 2010
ACM DL Author-ize serviceExecuting JML specifications of Java card applications: a case study
Nestor Catano, Tim Wahls
SAC '09 Proceedings of the 2009 ACM symposium on Applied Computing, 2009
ACM DL Author-ize serviceThe effects of pair-programming on individual programming skill
Grant Braught, L. Martin Eby, Tim Wahls
SIGCSE '08 Proceedings of the 39th SIGCSE technical symposium on Computer science education, 2008
ACM DL Author-ize serviceA methodology to provide and use interchangeable services
Brian Fenicle, Tim Wahls
SAC '03 Proceedings of the 2003 ACM symposium on Applied computing, 2003
ACM DL Author-ize serviceA graphical user interface for executing formal specifications
Xiaowen Chen, Tim Wahls
SAC '01 Proceedings of the 2001 ACM symposium on Applied computing, 2001
ACM DL Author-ize serviceFormal semantics for SA style data flow diagram specification languages
Gary T. Leavens, Tim Wahls, Albert L. Baker
SAC '99 Proceedings of the 1999 ACM symposium on Applied computing, 1999

Additional Works

  • 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 (FMICS '06). Bonn, Germany. August 26 - 27, 2006. Volume 4346 of Lecture Notes in Computer Science. 293 - 296. Springer-Verlag, 2007.
  • 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 2000.
  • 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.