Charles Wallace
Charles Wallace
Associate Professor of Computer Science, Michigan Technological University
Verified email at - Homepage
Cited by
Cited by
The semantics of the C++ programming language
C Wallace
Specification and Validation Methods, 131-164, 1993
Modelling competencies for computing education beyond 2020: a research based approach to defining competencies in the computing disciplines
S Frezza, M Daniels, A Pears, Å Cajander, V Kann, A Kapoor, ...
Proceedings Companion of the 23rd Annual ACM Conference on Innovation and …, 2018
The semantics of the Java programming language: Preliminary version
C Wallace
Technical Report CSE-TR-355-97, University of Michigan EECS Department …, 1997
An abstract state machine primer
J Huggins, C Wallace
Technical Report CS-TR-02-04, Computer Science Department, Michigan …, 2002
Supervisory control of workflow scheduling
C Wallace, P Jensen, N Soparkar
Advanced transaction models and architectures workshop (ATMA), Goa, India, 1996
Formalizing Database Recovery.
Y Gurevich, N Soparkar, C Wallace
J. Univers. Comput. Sci. 3 (4), 320-340, 1997
A proposal for a UPC memory consistency model
K Yelick, D Bonachea, C Wallace
Lawrence Berkeley National, Tech. Rep. LBNL-54983, 2004
Lessons from our elders: identifying obstacles to digital literacy through direct engagement
S Kumar, LC Ureel, H King, C Wallace
Proceedings of the 6th international conference on pervasive technologies …, 2013
The UPC memory model: Problems and prospects
W Kuchera, C Wallace
18th International Parallel and Distributed Processing Symposium, 2004 …, 2004
nvestigating Java Concurrency Using Abstract State Machines
Y Gurevich, W Schulte, C Wallace
International Workshop on Abstract State Machines, 151-176, 2000
Automated critique of early programming antipatterns
LC Ureel II, C Wallace
Proceedings of the 50th ACM Technical Symposium on Computer Science …, 2019
Modeling global competencies for computing education
S Frezza, A Pears, M Daniels, V Kann, A Kapoor, R McDermott, AK Peters, ...
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology …, 2018
Can abstract state machines be useful in language theory?
Y Gurevich, M Veanes, C Wallace
Theoretical Computer Science 376 (1-2), 17-29, 2007
Instruction in software project communication through guided inquiry and reflection
S Kumar, C Wallace
2014 IEEE Frontiers in Education Conference (FIE) Proceedings, 1-9, 2014
Scrum across the CS/SE curricula: A retrospective
C Wallace, S Mohan, D Troy, ME Hoffman
Proceedings of the 43rd ACM technical symposium on Computer Science …, 2012
Mentoring trajectories in an evolving agile workplace
S Kumar, C Wallace, M Young
2016 IEEE/ACM 38th International Conference on Software Engineering …, 2016
RFID cards: a new deal for elderly accessibility
R Pastel, C Wallace, J Heines
International Conference on Universal Access in Human-Computer Interaction …, 2007
Addressing communication issues in software development: A case study approach
A Brady, M Seigel, T Vosecky, C Wallace
20th Conference on Software Engineering Education & Training (CSEET'07), 301-308, 2007
The intersecting futures of technical communication and software engineering: Forging an alliance of interdisciplinary work
A Brady, RR Johnson, C Wallace
Technical communication 53 (3), 317-325, 2006
Specification and verification of the windows card runtime environment using abstract state machines
Y Gurevich, C Wallace
Tech¬ nical Report MSR-TR-99-07, Microsoft Research, Redmond, WA, USA, 1999
The system can't perform the operation now. Try again later.
Articles 1–20