Follow
Tim Wahls
Tim Wahls
Verified email at dickinson.edu
Title
Cited by
Cited by
Year
The case for pair programming in the computer science classroom
G Braught, T Wahls, LM Eby
ACM Transactions on Computing Education (TOCE) 11 (1), 1-21, 2011
1482011
The effects of pair-programming on individual programming skill
G Braught, LM Eby, T Wahls
Proceedings of the 39th SIGCSE technical symposium on Computer science …, 2008
1002008
The benefits of pairing by ability
G Braught, J MacCormick, T Wahls
Proceedings of the 41st ACM technical symposium on Computer science …, 2010
702010
Code generation for Event-B
V Rivera, N Catano, T Wahls, C Rueda
International Journal on Software Tools for Technology Transfer 19 (1), 31-52, 2017
522017
jmle: A tool for executing JML specifications via constraint programming
B Krause, T Wahls
International Workshop on Parallel and Distributed Methods in Verification …, 2006
412006
Translating B machines to JML specifications
N Cataņo, T Wahls, C Rueda, V Rivera, D Yu
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1271-1277, 2012
312012
Executing formal specifications with concurrent constraint programming
T Wahls, GT Leavens, AL Baker
Automated Software Engineering 7 (4), 315-343, 2000
272000
Executing JML specifications of Java card applications: a case study
N Catano, T Wahls
Proceedings of the 2009 ACM symposium on Applied Computing, 404-408, 2009
252009
The course scheduling problem as a source of student projects
W Combs, R Hawkins, T Pore, A Schechet, T Wahls, L Ziantz
Proceedings of the 36th SIGCSE technical symposium on Computer science …, 2005
172005
The direct execution of SPECS-C++: A model-based specification language for C++ classes
T Wahls, A Baker, G Leavens
171994
Formal semantics for SA style data flow diagram specification languages
GT Leavens, T Wahls, AL Baker
Proceedings of the 1999 ACM symposium on Applied computing, 526-532, 1999
141999
An Executable Semantics for a Formalized Data Flow Diagram Specification Language
T Wahls, AL Baker, GT Leavens
TR93-27, Iowa State University, 29, 1993
141993
Translating Event-B machines to database applications
Q Wang, T Wahls
International Conference on Software Engineering and Formal Methods, 265-270, 2014
132014
An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams
G Leavens, T Wahls, A Baker, K Lyle
111996
A case study on code generation of an ERP system from Event-B
N Catano, T Wahls
2015 IEEE International Conference on Software Quality, Reliability and …, 2015
102015
A machine-checked proof for a translation of Event-B machines to JML
N Catano, C Rueda, T Wahls
arXiv preprint arXiv:1309.2339, 2013
102013
Executing formal specifications with constraint programming
T Wahls, GT Leavens, AL Baker
Technical Report 97-12a, Department of Computer Science, Iowa State …, 1998
81998
Executing formal specifications with constraint satisfaction
T Wahls, GT Leavens, AL Baker
Technical Report TR97-12, Department of Computer Science, Iowa State …, 1997
61997
Formal semantics of an algorithm for translating model-based specifications to concurrent constraint programs
T Wahls, GT Leavens
Proceedings of the 2001 ACM symposium on Applied computing, 567-575, 2001
42001
Code generation for Event-B
T Wahls, C Rueda
International Journal on Software Tools for Technology Transfer 19 (1), 31-52, 2017
32017
The system can't perform the operation now. Try again later.
Articles 1–20