DMS Bibliography
Akers, R., Baxter, I., Mehlich, M. , Ellis, B. , Luecke, K., Case Study: Re-engineering C++ Component Models Via Automatic Program Transformation, Information & Software Technology 49(3):275-291 2007. Available from publisher.
Akers, R., Baxter, I., Mehlich, M., Ellis, B., Luecke, K., Re-engineering C++ Component Models Via Automatic Program Transformation, Twelfth Working Conference on Reverse Engineering, IEEE, 2005. PDF format
Akers, R., Baxter, I., Mehlich, M., Ellis, B., Luecke, K., C++ Component Model Reengineering By Automatic Transformation, Crosstalk, 2005. Web Page
Akers, R., Baxter, I. and Mehlich, M., Reengineering C++ Components Via Automatic Program Transformation, ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation, 2004. PDF format
Arango, G., Baxter, I., Freeman, P. and Pidgeon, C., TMM: Software Maintenance by Transformation, IEEE Software, May 1986. PDF format
Baxter, I. Using Transformation Systems for Software Maintenance and Reengineering, International Conference on Software Engineering, 2001. PDF format
Baxter, I. Breaking the Software Development Roadblock: Continuous Software Enhancement by Design Maintenance, National Coordination Office for Networking and Information Technology Research and Development, Vanderbilt Workshop, 2001. PDF format
Baxter, I. Transformational Maintenance by Reuse of Design Histories, Ph.D. Thesis, University of California at Irvine, 1990. PDF format
Baxter, I. and Kant, E. Using Domain Specific Abstract Parallelism, Workshop on Compilation of (Symbolic) Languages for Parallel Computers, Argonne National Laboratory, October 1991 PDF format
Baxter, I. Design Maintenance Systems, Communications of the ACM 35(4), Association for Computing Machinery, New York, 1992. PDF format
Baxter, I. Parallel Support for Source Code Analysis and Modification, (Keynote), Source Code Analysis and Manipulation, 2002. PDF format
Baxter, I. and Churchett, D., Using Clone Detection to Manage a Product Line, 2002. PDF format
Baxter, I., Hendryx, S. A Standards-Based Approach to Extracting Business Rules, OMG's Architecture Driven Modernization Workshop, 2005. PDF format
Baxter, I. and Mehlich, M. Preprocessor Conditional Removal by Simple Partial Evaluation, Workshop on Analysis, Slicing and Transformation, 2001. PDF Format
Baxter, I. and Mehlich, M. Reverse Engineering is Reverse Forward Engineering. Working Conference on Reverse Engineering, IEEE, 1997. PDF format
Baxter, I. and Pidgeon, C. Software Change Through Design Maintenance. Proceedings of the International Conference on Software Maintenance ‘97, IEEE Press, 1997. PDF format
Baxter, I., Pidgeon, P., and Mehlich, M. DMS: Program Transformations for Practical Scalable Software Evolution. Proceedings of the International Conference on Software Engineering, IEEE Press, 2004. Paper in PDF format / Slides in PDF format
Baxter, I., Yahin, A., Moura, L., Sant‘Anna, M., and Bier, L. Clone Detection Using Abstract Syntax Trees. Proceedings of the International Conference on Software Maintenance ‘98, IEEE Press, 1998. PDF format
Mehlich, M. and Baxter, I. Mechanical Tool Support for High Integrity Software Development. Proceedings of Conference on High Integrity Systems ‘97, IEEE Press, 1997. PDF format
Mehlich, M. CheckPointer, Source Code Analysis and Manipulation (SCAM) 2011. IEEE Press, September 2011. Paper on SD's Memory Safety analysis tool for the C language. Prepublication draft, PDF Format.
Pidgeon, C. Organizing and Enabling Domain Engineering to Facilitate Software Maintenance. WISR8: The Eighth Annual Workshop on Software Reuse, IEEE, 1997. PDF format
Waters, M., Young, K. and Baxter, I. Calculating Software Metrics for Ladder Logic International Conference on Informatics in Control, Automation and Robotics, 2008. PDF format
DMS-Related Technical Articles
Baxter, Ira. Supporting Forward and Reverse Engineering and Multiple Types of Models. 2017.
PDF format
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems.
Discusses how code transformation and data-flow patterns can characterize forward and reverse engineering knowledge.
Baxter, Ira. Automated Extraction of Buisness Rules and Models from Code November, 2016.
PDF format
Building Business Capability Conference.
Provides vision that unifies many different types of business rules, and how to automatically extract them using advanced software engineering source code analysis.
Discusses spectacular example of extracting business rules (chemical processes) from Dow Chemical's factory control computers.
Aversano, Lerina; Di Penta, Massimiliano; Baxter, Ira. Handling Preprocessor-Conditioned Declarations 2002.
PDF format
Proposes an approach for finding all variable declarations resulting from using all combinations of pre-processor switches.
Baxter, Ira. Branch Coverage for Arbitrary Languages Made Easy, 2002.
PDF format
Describes how to use program transformations to installs test coverage probes into source code.
Baxter, Ira. Transformation Technology Bibliography, 1998.
PDF format
Useful reference of technical papers applicable to system transformation.
Butler Group. Application Modernization- Butler Lifecycle Rating June 2003.
Web Report.
Mentions Semantic Designs' rising position in the field of application modernization tools.
Gray, J., Zhang, J., Roychoudhury, S., and Baxter, I. C-SAW and GenAWeave: A Two-Level Aspect Weaving Toolsuite., 2004. PDF format
Koschke, R., Baxter, I., Conradt, M., and Cordy, J.: Software Clone Management Towards Industrial Application, Report from Dagstuhl Seminar 12071, Schloss Dagstuhl, Germany, Febraruy 2012. PDF format Workshop proceedings on industrial uses of Clone Detection. See especially section on Refactoring and Product Line management.
Quigley, Aaron J. Automated Tool Support for a Large Scale Diagramming Tool, 1999.
PDF format
A description of a graphical software-engineering diagramming tool built based on DMS.
Neighbors, J. The Draco Approach to Constructing Software from Reusable Components, Proceedings 1983 Workshop on Reusability in Programming, September 1983.
PDF format
If you want an education on the core of software engineering, read this paper! Basis for the "domain" structure of DMS. The source of the ideas for "domain specific languages" and their construction by "domain analysis" and "domain engineering".
Kant, E. Automating the Design of Scientific Software
PDF Format
Influential on DMS's notion of design choices driving data-flow pattern matching.
Rich, C and Waters, R.The Programmer's Apprentice Project
PDF Format
Inspiration for DMS's data flow pattern matching capability.
