Software engineering: planning for change
Software engineering: planning for change
The Turing programming language
Communications of the ACM
The need for standards in computing mathematics
Mathematical structures for software engineering
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
Schema translation using structural transformation
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Automated Software Engineering
Source transformation, analysis and generation in TXL
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Factbase Filtering Issues in an Ontology-Based Reverse Engineering Tool Integration System
Electronic Notes in Theoretical Computer Science (ENTCS)
The Tower of Babel did not fail
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
| Hi-index | 0.01 |
The theory-model paradigm views the design verification problem as checking whether a database of design facts (the model) satisfies the type checking and other design rules of a design method (the theory). We present an abstract theory of modular information-hiding design methods, which captures aspects of many different languages (potentially including Modula, C, and Ada). We specialize the theory for the Turing Plus programming language, and validate it by extracting a design database from a pre-existing Turing Plus program, TXL, and verifying that it satisfies the design rules.This work is part of the Advanced Software Design Technology project, which aims to produce a prototype tool, 4Thought, to aid software designers. Design theories such as ours would become part of a 4Thought library.