|
ABSTRACT
This paper deals with what might be called the top level design of an interactive computer system. It examines some problems which arise in trying to specify what the user interface of such a system should be. It proposes a concept—the terminal state—and a notation—the terminal state transition diagram—which make the design of the top level somewhat easier. It also proposes a user interface in which the notion of terminal state is explicit. This user interface seems to provide a great improvement in flexibility and case of adding subsystems to a general purpose system.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Zurcher, F. W. and Randell, B., "Multi-Level Modeling - A Methodology for Computer System Design," Proceedings of the 1968 IFIP Conference.
|
| |
2
|
Parnas, D. L., and Darringer, J. A., "SODAS and a Methodology for System Design", Proceedings of the 1967 FJCC.
|
| |
3
|
Parnas, D. L., "More on Simulation Languages and Design Methodology for Computer Systems," Proceedings of the 1969 SJCC (to be published).
|
| |
4
|
Corbato, F. J., and Vyssotsky, V. A., "Introduction and Overview of the MULTICS System," Proceedings of the 1965 FJCC.
|
 |
5
|
|
| |
6
|
Bartee, et al., "Theory and Design of Digital Machines," McGraw-Hill.
|
 |
7
|
|
CITED BY 30
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Martín López-Nores , José Pazos-Arias , Jorge García-Duque , Yolanda Blanco-Fernández , Manuel Ramos-Cabrer , Alberto Gil-Solla , Ana Fernández-Vilas , Rebeca Díaz-Redondo, Formal specification applied to multiuser distributed services: experiences in collaborative t-learning, Journal of Systems and Software, v.79 n.8, p.1141-1155, August 2006
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jean-François Ladry , David Navarre , philippe Palanque, Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces, Proceedings of the 2009 international conference on Multimodal interfaces, November 02-04, 2009, Cambridge, Massachusetts, USA
|
|