Tim Wahls

Courses Taught, Spring 2016
COMP 132 Introduction to Computer Science II
COMP 378: Database Systems

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:
M 1:30 - 2:30 p.m., T 3:00 - 4:00 p.m. WF 10:30 - 11:30 a.m.
also by appointment and whenever my office door is open


Research Projects

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

  • Nestor Catano and Tim Wahls. A Case Study on Code Generation of an ERP System from Event-B. Proceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS 2015). Vancouver, British Columbia. Auguset 3 - 5, 2015. 183 - 188.
  • Victor Rivera, Nestor Catano, Tim Wahls and Camilo Rueda. Code Generation for Event-B. The International Journal on Software Tools for Technology Transfer. May 2015. 1 - 22.
  • Qi Wang and Tim Wahls. Translating Event-B Machines to Database Applications. Software Engineering and Formal Methods (SEFM 2014). Grenoble, France. September 1 - 5, 2014. 265 - 270.
  • Nestor Catano, Victor Rivera, Camilo Rueda and Tim Wahls. Translating B and Event-B Machines to Java and JML. In: Formal Methods Applied to Industrial Complex Systems: Implementation of the B Method, edited by: Jean-Louis Boulanger. Wiley Computer Engineering Series, July 2104. 211-252.
  • 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.