IEEE Transactions on Software Engineering · 1985 · 200 citations · 9 references
ComputingComputer ScienceInformation SystemsFormal MethodsHuman-computer InteractionSoftware EngineeringDesign SpecificationInterface DesignSoftware DesignSoftware ModelingSpecification LanguagesSystem ImplementationExecutable SpecificationsExecutable StatechartsFormal ModelingGraphical NotationSpecification NotationState DiagramsState-based SpecificationUser Interaction
User Software Engineering is a methodology for specifying and implementing interactive information systems. This paper demonstrates how USE transition diagrams are derived to address shortcomings of the pure state‑transition diagram approach. The methodology extends state‑transition diagrams into executable USE transition diagrams, progressively presenting their graphical and textual notation and supporting automated tools for direct execution. The study showcases the graphical and textual notation of USE transition diagrams and outlines automated tools that enable their direct execution.
User Software Engineering is a methodology for the specification and implementation of interactive information systems. An early step in the methodology is the creation of a formal executable description of the user interaction with the system, based on augmented state transition diagrams. This paper shows the derivation of the USE transition diagrams based on perceived shortcomings of the "pure" state transition diagram approach. In this way, the features of the USE specification notation are gradually presented and illustrated. The paper shows both the graphical notation and the textual equivalent of the notation, and briefly describes the automated tools that support direct execution of the specification.
9
Design of a separable transition-diagram compiler
Melvin E. Conway · Communications of the ACM · 1963 · 441 citations · Full text
The Interlisp Programming Environment
Warren Teitelman, Larry Masinter · Computer · 1981 · 357 citations