Gerald C. Gannod
Gerald C. Gannod
Department of Computer Science, Tennessee Technological University
Verified email at - Homepage
Cited by
Cited by
Using the inverted classroom to teach software engineering
G Gannod, J Burge, M Helmick
2008 ACM/IEEE 30th International Conference on Software Engineering, 777-786, 2008
A model-driven approach for specifying semantic web services
JTE Timm, GC Gannod
IEEE International Conference on Web Services (ICWS'05), 313-320, 2005
A framework for classifying and comparing software reverse engineering and design recovery techniques
GC Gannod, BHC Cheng
Sixth Working Conference on Reverse Engineering (Cat. No. PR00303), 77-88, 1999
Strongest postcondition semantics as the formal basis for reverse engineering
GC Gannod, BHC Cheng
Automated Software Engineering 3 (1-2), 139-164, 1996
Specifying semantic web service compositions using UML and OCL
JTE Timm, GC Gannod
IEEE International Conference on Web Services (ICWS 2007), 521-528, 2007
Component-based software engineering
GTHI Crnkovic, HWSJA Stafford, CSK Wallnau
J. of Systems and Software 74 (1), 1-3, 2005
An approach to architectural analysis of product lines
GC Gannod, RR Lutz
Proceedings of the 22nd international conference on Software engineering …, 2000
A self-healing framework for web services
H Naccache, GC Gannod
IEEE International Conference on Web Services (ICWS 2007), 398-345, 2007
Analysis of a software product line architecture: an experience report
RR Lutz, GC Gannod
Journal of Systems and Software 66 (3), 253-267, 2003
Using informal and formal techniques for the reverse engineering of C programs
GC Gannod, BHC Chengs
Proceedings of WCRE'96: 4rd Working Conference on Reverse Engineering, 249-258, 1996
Abstraction of formal specifications from program code
BH Cheng, GC Gannod
Proceedings for the IEEE 3rd International Conference on Tools for …, 1990
An automated tool for analyzing petri nets using spin
GC Gannod, S Gupta
Proceedings 16th Annual International Conference on Automated Software …, 2001
A two-phase approach to reverse engineering using formal methods
GC Gannod, BHC Cheng
Formal Methods in Programming and Their Applications, 335-348, 1993
Girls on the go: a CS summer camp to attract and inspire female high school students
JE Burge, GC Gannod, M Doyle, KC Davis
Proceeding of the 44th ACM technical symposium on Computer science education …, 2013
A software product line process simulator
Y Chen, GC Gannod, JS Collofello
Software Process: Improvement and Practice 11 (4), 385-409, 2006
An architecture-based approach for synthesizing and integrating adapters for legacy software
GC Gannod, SV Mudiam, TE Lindquist
Proceedings Seventh Working Conference on Reverse Engineering, 128-137, 2000
Recovering concepts from source code with automated concept identification
MM Carey, GC Gannod
15th IEEE International Conference on Program Comprehension (ICPC'07), 27-36, 2007
WIP: Using podcasting in an inverted classroom
GC Gannod
Proceedings of the 37th IEEE Frontiers in Education Conference. IEEE, 2007
Reverse engineering
I Wills
Thomas Edison: Success and Innovation through Failure, 225-242, 2019
A formal approach for reverse engineering: a case study
GC Gannod, BHC Cheng
Sixth Working Conference on Reverse Engineering (Cat. No. PR00303), 100-111, 1999
The system can't perform the operation now. Try again later.
Articles 1–20