Toward a discipline of real-time programming
Communications of the ACM
Communications of the ACM
Finite state testing of structured programs
Programming Symposium, Proceedings Colloque sur la Programmation
Finite state modelling in program development
Proceedings of the international conference on Reliable software
Languages for representing software specifications and designs
ACM SIGSOFT Software Engineering Notes
Development concerns for a software design quality expert system
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Computer-aided requirements engineering
ACM '80 Proceedings of the ACM 1980 annual conference
Hi-index | 0.01 |
It is argued that software system designers would benefit greatly from feedback about the consequences of a proposed design if this feedback could be obtained early in the development process. A taxonomy of possible types of feedback and other design aids is presented, and the capabilities of several existing design aid systems are described relative to this taxonomy.