Papers, Presentations, etc.

Below is a selection of my papers and presentations. Almost all are in PDF format.

[Interested in Software Engineering research? Have a look at Tao Xie's pages on SE conferences, and his SE academic genealogy.]

• "Clone detection by exploiting assembler" (short paper submission), Ian J. Davis and Michael W. Godfrey. Currently under review.
• "Studying Professional Software Designers and their Use of Abstraction" (discussion paper), Joanne M. Atlee and Michael W. Godfrey. Currently under review.
• Editorial for Special Issue of JASE on Source Code Analysis and Manipulation, Michael W. Godfrey and Bogdan Korel. Journal of Automated Software Engineering, 16(2), June 2009.
• "Reading beside the lines: Using indentation to rank revisions by complexity", Abram Hindle, Michael W. Godfrey, Richard C. Holt. Science of Computer Programming, 74(7), May 2009.
  • This is an extended version of our ICPC-08 paper that was invited to a special issue of SCP.
• "What’s Hot and What’s Not: Windowing Developer Topic Analysis", Abram J. Hindle, Michael W. Godfrey, Richard C. Holt. Proc. of 2009 IEEE Conference on Software Maintenance (ICSM-09), Edmonton, Alberta, 20–26 September 2009. [Acceptance rate 35/162 or 22% for full papers]
• "Understanding Source Package Organization using the Hybrid Model" (short paper), Xinyi Dong and Michael W. Godfrey. Proc. of 2009 IEEE Conference on Software Maintenance (ICSM-09), Edmonton, Alberta, 20–26 September 2009. [Acceptance rate (35+29)/162 or 39% for short papers]
• "Future of Mining Software Archives: A Roundtable" (invited roundtable contribution), Michael W. Godfrey, IEEE Software, 61(1), January/February 2009.
• "Automatic Classification of Large Changes into Maintenance Categories", Abram J. Hindle, Daniel M. German, Michael W. Godfrey, and Richard C. Holt. Proc. of 2009 IEEE Intl. Conference on Program Comprehension (ICPC-09), 17-19 May 2009, Vancouver. [Acceptance rate 20/74 or 27% for full papers]
• "A Bug You Like: A Framework for Automated Assignment of Bugs" (poster paper), Olga Baysal, Michael W. Godfrey, and Robin Cohen. Proc. of 2009 IEEE Intl. Conference on Program Comprehension (ICPC-09), 17-19 May 2009, Vancouver.
• "Mining Recurrent Activities: Fourier Analysis of Change Events" (short paper), Abram J. Hindle, Michael W. Godfrey, Richard C. Holt. ICSE-09 special short paper track on New Ideas and Emerging Results (NIER), 20-22 May 2009, Vancouver. [Acceptance rate 21/118 or 15% for papers in this track]
• "A Possible Metric for Semantic Similarity of Object-Oriented Analysis Models and Its Use to Estimate the Predictability of OOA Methods", Davor Svetinovic, Daniel M. Berry, Michael W. Godfrey, Nancy A. Day. Submitted for review.
• "The Past, Present, and Future of Software Evolution", Michael W. Godfrey and Daniel M. German. Invited paper in Proc. of Frontiers of Software Maintenace track at the 2008 IEEE Intl. Conf. on Software Maintenance (ICSM-08), October 2008, Beijing, China.
• "Understanding Interaction Differences between Newcomer and Expert Programmers" (short paper), Lijie Zou and Michael W. Godfrey. Proc. of the 2008 Intl. Workshop on Recommendation Systems for Software Engineering (RSSE 2008), November 2008, Atlanta.
• "Reverse Engineering CAPTCHAs", Abram J. Hindle, Michael W. Godfrey, and Richard C. Holt. Proc. of the 2008 Working Conference on Reverse Engineering (WCRE-08), 15–18 October 2008, Antwerp, Belgium. [Acceptance rate 20/70 or 29% for full papers]
• “`Cloning Considered Harmful' Considered Harmful: Patterns of Cloning in Software", Cory J. Kapser and Michael W. Godfrey. Extended version of WCRE-06 Best Paper. Empirical Software Engineering (Springer), vol. 13, no. 6, December 2008.
• "From Indentation Shapes to Code Structures", Abram J. Hindle, Michael W. Godfrey, and Richard C. Holt. Proc. of the 8th IEEE Intl. Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28–29 September 2008, Beijing, China. [Acceptance rate: 23/61 or 38% for full papers]
• "Identifying Architectural Change Patterns in Object Oriented Systems", Xinyi Dong and Michael W. Godfrey. Proc. of the 2008 IEEE Intl. Conference on Program Comprehension (ICPC-08), June 2008, Amsterdam. [Acceptance rate: 20/57 or 35% for full papers]
• "Reading Beside the Lines: Indentation as a Proxy for Complexity Metrics", by Abram J. Hindle, Michael W. Godfrey, and Richard C. Holt. Proc. of the 2008 IEEE Intl. Conference on Program Comprehension (ICPC-08), June 2008, Amsterdam. [Acceptance rate: 20/57 or 35% for full papers]
  • This paper was selected as one of the best at ICPC-08 will appear in a special issue of Science of Computer Programming (Elsevier) in 2009: preliminary journal version.
• "Requirements Specifications and Recovered Architectures as Grounded Theories", by Daniel M. Berry, Michael W. Godfrey, Ric Holt, Cory J. Kapser, and Isabel Ramos. Submitted for review.
• "Fast, Cheap, and Under Control: Evaluating Revision Data Reliably", a presentation given at Dagstuhl Seminar 07491 on Mining Programs and Processes by Abram J. Hindle, describing work he has done under the supervision of Ric Holt and myself, December 2007.
• "All We Like Sheep: Cloning as a Software Engineering Tool", an invited talk given at the ICSM-07 working session on Myths in Software Engineering, October 2007. PDF 4-up
• "Examining the Effects of Global Data Usage on Software Maintainability", by Jason Selby, Fraser Ruffell, Mark Giesbrecht, and Michael W. Godfrey. Proc. of the 2007 Working Conference in Reverse Engineering (WCRE-07), 29-31 October 2007, Vancouver, BC. [Acceptance rate: 27/87 or 31% for full papers]
• "Don't crash twice, it ain't nice", a less-than-serious reworking of an old Dylan tune (the singer, not the programming language), originally presented in three part disharmony by Ric Holt, Hausi Müller, and myself at the April 2007 CSER meeting.
• "System-level Usage Dependency Analysis of Object-Oriented Systems", by Xinyi Dong and Michael W. Godfrey. Proc. of the 2007 IEEE Intl. Conference on Software Maintenance (ICSM-07), 2-5 October 2007, Paris, France. [Acceptance rate: 41/214 or 21% for full papers]
• "Release Pattern Discovery: A Case Study of Database Systems", by Abram J. Hindle, Michael W. Godfrey, and Richard C. Holt. Proc. of the 2007 IEEE Intl. Conference on Software Maintenance (ICSM-07), 2-5 October 2007, Paris, France. [Acceptance rate: 41/214 or 21% for full papers]
• "Subjectivity in Clone Judgment: Can We Ever Agree?", by Cory J. Kapser, Paul Anderson, Michael W. Godfrey, Rainer Koschke, Matthias Rieger, Filip van Rysselberghe, and Peter Weißgerber, Proc. of Dagstuhl Seminar #06301, July 2007.
• "YARN: Animating Software Evolution", by Abram J. Hindle, ZhenMing Jiang, Walid Koleilat, Michael W. Godfrey, and Richard C. Holt. Proc. of the 2007 IEEE Intl. Workshop on Visualizing Software for Understanding and Analysis (VISSOFT-07), June 25-26, Banff, Alberta. [Acceptance rate: 15/34 or 44% for full papers] Slides
• "A Hybrid Program Model for Object-Oriented Reverse Engineering", by Xinyi Dong and Michael W. Godfrey. Proc. of the 2007 Intl. Conference on Program Comprehension (ICPC-07), 26-29 June 2007, Banff, Alberta. [Acceptance rate: 22/66 or 33% for full papers]
• "Detecting Interaction Coupling from Task Interaction Histories", by Lijie Zou, Michael W. Godfrey, and Ahmed E. Hassan. Proc. of the 2007 Intl. Conference on Program Comprehension (ICPC-07), 26-29 June 2007, Banff, Alberta. [Acceptance rate: 22/66 or 33% for full papers] Slides.
• "Release Pattern Discovery via Partitioning: Methodology and Case Study", by Abram J. Hindle, Michael W. Godfrey, Richard C. Holt. Proc. of 2007 Intl. Workshop on Mining Software Repositories (MSR-07), May 19-20, 2007, Minneapolis. [Acceptance rate: 15/39 for full papers, or 38%] Slides.
• "Adaptation, Selection, and Intelligent Design: The Forces Behind Software Evolution", invited talk given at the 2007 Canadian University Software Engineering Conference (CUSEC-07), Montreal, 20 January 2007.
• "Unified Use Case Statecharts: Case Studies", by Davor Svetinovic, Daniel M. Berry, Nancy A. Day, and Michael W. Godfrey. Requirements Engineering Journal (Springer), Vol. 12, No. 4, October 2007.
• "'Cloning Considered Harmful' Considered Harmful", by Cory J. Kapser and Michael W. Godfrey. Proc. of the 2006 Working Conference on Reverse Engineering (WCRE-06), 23-28 October, Benevento, Italy. [Acceptance rate: 24/84 or 29%]
  • This won the Best Paper Award for WCRE 2006, and has been invited to be extended for journal consideration (see above).
• "An Industrial Case Study of Program Artifacts Viewed During Maintenance Tasks", by Lijie Zou and Michael W. Godfrey. Proc. of the 2006 Working Conference on Reverse Engineering (WCRE-06), 23-28 October, Benevento, Italy. [Acceptance rate: 24/84 or 29%]
• "EARS: A CSER proposal", yet another not-entirely-serious presentation from the 2006 Spring CSER meeting at UVic.
• "Clone Detection: How accurate is your data set?" (short paper), Cory J. Kapser and Michael W. Godfrey. Otherwise unpublished, but it's been referenced by others so here it is.
• "Increasing Quality of Conceptual Models: Is Object-Oriented Analysis That Simple?", by Davor Svetinovic Daniel M. Berry, and Michael W. Godfrey. Proc. of the ICSE 2006 Workshop on The Role of Abstraction in Software Engineering, Shanghai, China, 21 May 2006.
• "Cloning by Accident: An Empirical Study of Source Code Cloning Across Software Systems", by Raihan Al-Ekram, Cory J. Kapser, Richard C. Holt, and Michael W. Godfrey. Proc. of the 2005 Intl. Symposium on Empirical Software Engineering (ISESE-05), Noosa Heads, Australia, 17-18 November 2005. [Acceptance rate: 40%]
• "A Reference Architecture for Web Browsers", by Alan Grosskurth and Michael W. Godfrey. Proc. of the 2005 Intl. Conference on Software Maintenance (ICSM-05), Budapest, Hungary, 25-30 Sept 2005. [Acceptance rate: 55 / 180 or 30% for full papers, (55+25) / 180 or 44% for short papers.]
  • Also, a preprint of an extended version submitted for journal consideration.
  • Grady Booch sent us email to say that he thought this paper was "wonderful". He has included our architectural model of Mozilla in the architecture gallery of his Handbook of Software Architecture .
• "Improved Tool Support for the Investigation of Duplication in Software", by Cory J. Kapser and Michael W. Godfrey. Proc. of the 2005 Intl. Conference on Software Maintenance (ICSM-05), Budapest, Hungary, 25-30 Sept 2005. [Acceptance rate: 55 / 180 or 30% for full papers, (55+25) / 180 or 44% for short papers.]
  • This paper was selected for consideration (and ultimately accepted) for a special issue (Vol. 18, No. 2, March/April 2006) of the Journal of Software Maintenance and Evolution. Preliminary journal version.
• "Facilitating Software Evolution Research with Kenyon", by Jennifer Bevan, E. James Whitehead, Jr., Sunghun Kim, and Michael W. Godfrey. Proc. of the 2005 Joint European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE-05), Lisbon, Portugal, 5-9 Sept 2005. [Acceptance rate: 32 / 201 or 16%]
• "Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don't Get It", by Davor Svetinovic, Daniel M. Berry, and Michael W. Godfrey. Proc. of 2005 Intl. Conference on Requirements Engineering (RE-05), Paris, France, 31 Aug - 2 Sept 2005. [Acceptance rate: 35 / 175 or 20%] Slides from the presentation: PDF
  • This paper was selected as one of the five best (out of 175 submissions).
• "Lossy Program Analysis, or Lies My Extractor Told Me", invited presentation at Dagstuhl Seminar No 05161 Transformation Techniques in Software Engineering. PPT version
• "Aiding Comprehension of Cloning Through Categorization", by Cory J. Kapser and Michael W. Godfrey. Proc. of 2004 Intl. Workshop on Software Evolution (IWPSE-04), Kyoto, Japan, 6-7 September 2004. [Acceptance rate: 8 / 27 or 30%]
• "Four Interesting Ways in Which History Can Teach Us About Software", by Michael W. Godfrey, Xinyi Dong, Cory J. Kapser, and Lijie Zou. Position paper accepted to and presented at 2004 Intl. Workshop on Mining Software Repositories (MSR-04), Edinburgh, Scotland on 25 May 2004. Slides from the presentation: PDF, PPT.
• "A Taxonomy of Clones in Source Code: The Re-Engineers Most Wanted List", by Cory J. Kapser and Michael W. Godfrey. Position paper accepted to 2nd Intl. Workshop on Detection of Software Clones (IWDSC-03), Victoria BC, November 2003.
• "A Lightweight Process for Architecture Recovery: From Code to Domain Requirements and Back Again", by Davor Svetinovic and Michael W. Godfrey. Unpublished.
• "Detecting Merging and Splitting Using Origin Analysis", by Lijie Zou and Michael W. Godfrey. Proc. of 2003 Working Conference on Reverse Engineering (WCRE-03), Victoria, BC, November 2003. [Acceptance rate: 33 / 72 or 46%] Slides from the presentation: PDF, PPT.
  • The initial version of this paper was the only one that received all A's as reviews, making it the highest rated of the original submissions. While there was no best paper award for WCRE 2003, it was invited to be revised and submitted for consideration for the IEEE TSE special issue honouring the 10th anniversary of the WCRE conference.
  • A preprint of an extended version accepted to IEEE Transactions on Software Engineering vol. 31, no. 2 (Feb 2005).
• "Toward a Taxonomy for Source Code Cloning: A Case Study", by Cory J. Kapser and Michael W. Godfrey. Proc. of the 2003 Intl. Workshop on Evolution of Large-scale Industrial Software Applications (ELISA), Amsterdam, 23 September 2003. This is an extended version; the original can be found in the full ELISA proceedings. Slides from the presentation: PDF,
PPT.
"Architectural (Wallpaper) Patterns", another not-entirely-serious presentation given at Second ASERC Workshop on Software Architecture, Banff, Alberta, February 2003. (Powerpoint only.)
• There is also a low-res Quicktime movie of the presentation. See and hear the talk that made Rick Kazman of the SEI exclaim, "Mike, don't give up your day job."
• "The Build / Comprehend Pipelines" (position paper), by Richard C. Holt, Michael W. Godfrey, and Andrew J. Malton, Second ASERC Workshop on Software Architecture, Banff, Alberta, February 2003.
• "Modelling and Extracting the Build-Time Architectural View", by Qiang Tu, Michael W. Godfrey, and Xinyi Dong; this is an extended version of the ICSM-01 paper below, submitted for journal consideration.
  • A related talk was given at Dagstuhl Seminar #3061 on Software Architecture: Recovery and Modelling, 2-7 Feb 2003, and also at the University of Koblenz: PDF, PPT
• "Enhancing Domain-Specific Software Architecture Recovery", by Igor Ivkovic and Michael W. Godfrey, Proc. of 2003 Intl. Workshop on Program Comprehension (IWPC-03), Portland, Oregon, May 2003. [Acceptance rate: 27 / 44 or 61%]
  • Grady Booch references this paper in his Handbook of Software Architecture
• "Adoption Centric Networking Environments", a short, not-entirely-serious research proposal, given at the October 2002 CSER meeting.
• "Architectural Reconstruction in the Dark", by Andrew Trevors and Michael W. Godfrey, position paper accepted to the Workshop on Software Architecture Reconstruction held in conjunction with WCRE-02, Richmond VA, November 1, 2002.
• "Semantic Grep: Regular Expressions + Relational Abstraction", by R. Ian Bull, Andrew Trevors, Andrew J. Malton, and Michael W. Godfrey. Proc. of 2002 Working Conference on Reverse Engineering (WCRE-02), Richmond VA, October 2002. [Acceptance rate: 33 / 72 or 46%]
• "An Integrated Approach for Studying Software Architectural Evolution", by Qiang Tu and Michael W. Godfrey, Proc. of 2002 Intl. Workshop on Program Comprehension (IWPC-02), Paris, June 2002. Slides from the presentation: PDF,
PPT. [Acceptance rate: 28 / 44 or 64%]
"Architecture Recovery of Dynamically Linked Applications: A Case Study", by Igor Ivkovic and Michael W. Godfrey, Proc. of 2002 Intl. Workshop on Program Comprehension (IWPC-02), Paris, June 2002. [Acceptance rate: 28 / 44 or 64%]
• "Tracking Structural Evolution using Origin Analysis" (position paper), by Michael W. Godfrey and Qiang Tu, Proc. of 2002 Intl. Workshop on Principles of Software Evolution (IWPSE-02), Orlando, Florida, May 2002.
• Results of the Acacia entry [PPT version] into the "C++ Parser Olympics" that was organized and presented at CASCON 2001 by Susan Sim in Toronto in November 2001. I "drove" the Acacia extractor (aided by Andrew Trevors), which is a product of AT+T Research. There are two plain text files of interest: Introduction to the Acacia System and Results of the running Acacia on the Parser/Analyser Suite .
  • Susan Sim and Holger Kienle ran a second version of this for IWPC 2002; here is the presentation for the Acacia entry: PDF (4up) and PPT.
• "Multi-tired architectures", a not-entirely-serious presentation co-devised by Ric Holt, given at the 2001 ASERC Workshop on Software Architecture in Edmonton, August 24-25, 2001. Also: PDF (4-up) and PPT.
• "How does your software grow?", by Michael W. Godfrey. Invited position paper and presentation given at the 2001 ASERC Workshop on Software Architecture in Edmonton, August 24-25, 2001.
• "A Lightweight Architecture Recovery Process", by Davor Svetinovic and Michael W. Godfrey, position paper accepted to SWARM (SoftWare Architecture Recovery and Modelling), a discussion session held in conjunction with WCRE-01, Stuttgart, October 2001.
• "Attribute-Based Evolution Patterns for Product Lines", by Davor Svetinovic and Michael W. Godfrey, position paper accepted to WICSA-01 Workshop on Architecture Reconstruction and Product Lines, Amsterdam, August 2001.
• "Exploring Structural Change and Architectural Evolution", a short Powerpoint presentation to the May 2001 meeting of CSER on a tool we (Qiang Tu, really) are working on.
• "Growth, Evolution, and Structural Change in Open Source Software", by Michael W. Godfrey and Qiang Tu. Proc. of 2001 Intl. Workshop on Principles of Software Evolution (IWPSE-01), Vienna, September 2001.
  • Grady Booch references this paper in his Handbook of Software Architecture
• "Software Engineering Research in the Bazaar", by Ahmed E. Hassan, Michael W. Godfrey, and Richard C. Holt. Position paper accepted to 1st ICSE Workshop on Open Source Software Engineering, Toronto, May 2001.
• "Representing Build-Time Software Architecture Views with UML", by Qiang Tu and Michael W. Godfrey. Position paper accepted to ICSE Workshop on Describing Software Architecture with UML, Toronto, May 2001.
• "The Build-Time Software Architecture View", by Qiang Tu and Michael W. Godfrey. Proc. of 2001 Intl. Conference on Software Maintenance (ICSM-01), Florence, Italy, November 2001. Slides from the presentation: PPT, PDF (6up). [Acceptance rate: 68 / 161 or 42%.] See also the extended version submitted for journal consideration above.
• "Defining, Transforming, and Exchanging High-Level Schemas", by Michael W. Godfrey, Proc. of 2000 Working Conference on Reverse Engineering (WCRE-00), Brisbane, Australia, November 2000. Slides from the talk in PPT or PDF formats.
• "Evolution, Growth, and Cloning in Linux: A Case Study", by Michael W. Godfrey, Davor Svetinovic, and Qiang Tu, a presentation at the 2000 CASCON workshop on "Detecting duplicated and near duplicated structures in large software systems: methods and applications", on November 16, 2000, chaired by Ettore Merlo. PPT version. To date, this is the only presentation of the work we have done in examining cloning in the SCSI driver subsystem of Linux.
• "Evolution in Open Source Software: A Case Study", by Michael W. Godfrey and Qiang Tu, Proc. of the 2000 Intl. Conference on Software Maintenance (ICSM-00), San Jose, California, October 2000. Slides from the presentation in PPT and PDF (6up).
  • This is probably my best known work; it got me a mention on salon.com, Süddeutcshe Zeitung, First Monday, Cnet's news.com, the Open Source Software Institute, and some other places.
• "High-Level Schemas: A Journey through the Bush", a presentation given at ICSE 2000 Workshop on Standard Exchange Format (WoSEF-00). PPT version also available.
• "Practical Data Exchange for Reverse Engineering Frameworks: Some Requirements, Some Experience, Some Headaches", by Michael W. Godfrey, position paper accepted to ICSE 2000 Workshop on Standard Exchange Format (WoSEF-00). A version of appeared in ACM Software Engineering Notes, vol. 26, no. 1, January 2001. I gave a related talk at the Dagstuhl seminar on Interoperability of Reengineering Tools (Seminar No. 01041, Report No. 296), 21-26 January 2001, and yet another version at the November 1999 CSER meeting: PDF (6 up) and PPT.
• "Toward an Understanding of Software Evolution", a seminar given at the University of Waterloo July 4, 2000 incorporating the results from some of the papers and talks below, especially the case study on the growth of the Linux kernel detailed in "Evolution in Open Source Software: A Case Study". The PPT version is also available.
• "Secrets from the Monster: Extracting Mozilla's Software Architecture", by Michael W. Godfrey and Eric H. S. Lee, Proc. of the Second Intl. Symposium on Constructing Software Engineering Tools (CoSET-00), Limerick, Ireland, June 2000. Slides from the presentation: PDF (6up) and PPT .
• "Architecture Repair of Open Source Software", by John B. Tran, Michael W. Godfrey, Eric H. S. Lee, and Richard C. Holt, Proc. of 2000 Intl. Workshop on Program Comprehension (IWPC-00), Limerick, Ireland, June 2000.
• "Extracting Source Models from Java Programs", by Ivan Bowman, Michael W. Godfrey, and Ric Holt, final version still in preparation.
• "Visualizing Architectural Evolution", by James P. D. Keast, Mark G. Adams, and Michael W. Godfrey, Proc. of ICSE-99 Workshop on Software Change and Evolution (SCE-99), Los Angeles, May 1999.
• "Connecting Architecture Reconstruction Frameworks" (preprint), by Ivan Bowman, Michael W. Godfrey, and Ric Holt, Proc. of the First Intl. Symposium on Constructing Software Engineering Tools (CoSET-99), Los Angeles, May 1999. Also published in Journal of Information and Software Technology, 42(2), pp. 93-104, February 2000. Slides from the presentation: PDF (6up) and PPT .
• "JDuck: Building a Software Engineering Tool in Java as a CS2 Project" (preprint), by Michael W. Godfrey and Dan Grossman, Proc. of SIGCSE -99, March 1999. This is one of my favourite pieces of work (and presenting at SIGCSE in New Orleans was fun too). I have a detailed web page on this project, plus slides from the talk in PPT format or PDF (6up).
• "Secure and Portable Database Extensibility", by Michael W. Godfrey, Tobias Mayr, Praveen Seshadri, and Thorsten von Eicken, Proc. of SIGMOD-98, Seattle WA, June 1998. [Acceptance rate: 42 / 246 or 17%]
• "Teaching Software Engineering to a Mixed Audience" (preprint), by Michael W. Godfrey, Journal of Information and Software Technology, 40(4), pp. 229-232, July 1998.
• "Prototyping a Visual Formalism for System Modelling", by Michael W. Godfrey, Richard C. Holt and Spiros Mancoridis, Proc. of the ICSE-16 Workshop on Software Engineering and Human-Computer Interaction , Sorrento, Italy, May 1994, published as Lecture Notes in Computer Science vol. 896, Springer Verlag, February 1995.
• "Tool Support for Software Engineering Education", by Spiros Mancoridis, Richard C. Holt and Michael W. Godfrey, Proc. of the ICSE-16 Workshop on Software Engineering Education, Sorrento, Italy, published as Imperial College Dept. of Computing Technical Report 94/6, June 1994.
• "A Program Understanding Environment Based on the Star Approach to Tool Integration", by Spiros Mancoridis, Richard C. Holt and Michael W. Godfrey, Proc. of 22nd Annual ACM Computer Science Conference (CSC-94), Phoenix, USA, March 8-10, 1994.
• "Visual Formalisms for Configuration Management", by Michael W. Godfrey, Proc. of CASCON-93, October 1993.
• "Formal Specification in Metamorphic Programming", by David A. Penny, Richard C. Holt and Michael W. Godfrey, Proc. of the 4th International Symposium of VDM Europe , Springer-Verlag Lecture Notes in Computer Science no. 551, October 1991.
• "Spectur -- A Specification Language for the Programmer", by Michael W. Godfrey and Richard C. Holt, Technical Report CSRI-241, University of Toronto, June 1990.

Last modification: Friday April 6, 2007 at 11:22:38 (EDT)