Control flow and data structure documentation: two experiments
Communications of the ACM
The TRW Software Productivity System
ICSE '82 Proceedings of the 6th international conference on Software engineering
A form-based approach to human engineering methodologies
ICSE '82 Proceedings of the 6th international conference on Software engineering
Small-scale software components
ACM SIGSOFT Software Engineering Notes
(ISEF): an integrated industrial-strength software engineering framework
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Hi-index | 0.01 |
The development of reliable documents is an important challenge facing the software industry today. This paper presents the Programming and Design Assist System (PDAS), which supports detailed design and implementation of system programs. PDAS uses a design language as the kernel of the system. Japanese/English documents and programs are generated from specifications written in the design language. The design language is a forms-oriented language based on PDL. To standardize the level of abstraction of document description, the language introduces a data model called a “set”. The model is an abstraction of linked lists, arrays, queues, and stacks. In operating systems, there are many such data structures, and the ability to simplify their manipulation is very helpful.