Algorithms & data structures
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
The Cornell program synthesizer: a syntax-directed programming environment
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Incremental evaluation for attribute grammars with application to syntax-directed editors
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Program Construction, International Summer Schoo
An Incremental Programming Environment
ICSE '81 Proceedings of the 5th international conference on Software engineering
Interactive software development tool: ISDT
ICSE '81 Proceedings of the 5th international conference on Software engineering
Beyond ALBE/P: Language neutral form
ICSE '81 Proceedings of the 5th international conference on Software engineering
Program refinement by transformation
ICSE '81 Proceedings of the 5th international conference on Software engineering
A flexible environment for program development based on a symbolic interpreter
ICSE '79 Proceedings of the 4th international conference on Software engineering
Programming as an evolutionary process
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Chapter I: Notes on structured programming
Structured programming
A program development system for the casual programmer
SIGCPR '85 Proceedings of the twenty-first annual conference on Computer personnel research
Towards more intelligent programming environments
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Programs are integrated hierarchical structures of formal texts - instructions - and informal texts - documentation. Only if there is a mechanical connection between program design and program development there can be higher chances that the program documentation, originated at design time, will not, sooner or later, become obsolete with respect to the current state of the system. DUAL is an interactive, incremental, intelligent editor of program and documentation texts to be used for software implementations whose anticipated life cycle is significantly long to deserve much attention. The screen interface plays a unique role in DUAL since it allows a visitor ( designer or maintenance engineer) “to replay” as many times as desired the evolution of the system from design to implementation. The access to the hierarchically organized Design Information is made easy and natural by the DUAL video oriented user interface.