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.

For more information:    Follow us at Twitter: @SemanticDesigns