This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Building reliable interactive information systems
Jan. 1986 (vol. 12 no. 1)
pp. 147-156
Anthony I. Wasserman, Section of Medical Information Science, University of California, San Francisco, San Francisco, CA 94143
Peter A. Pircher, Section of Medical Information Science, University of California, San Francisco, San Francisco, CA 94143
David T. Shewmake, Section of Medical Information Science, University of California, San Francisco, San Francisco, CA 94143
User Software Engineering is a methodology, with supporting tools, for the specification, design, and implementation of interactive information systems. With the USE approach, the user interface is formally specified with augmented state transition diagrams, and the operations may be formally specified with preconditions and postconditions. The USE state transition diagrams may be directly executed, with the application development tool RAPID/USE. RAPID/USE and its associated tool RAPSUM create and analyze logging information that is useful for system testing, and for evaluation and modification of the user interface. We briefly describe the USE transition diagrams and the formal specification approach, and show how these tools and techniques aid in the creation of reliable interactive information systems.
Index Terms:
Libraries,Information systems,User interfaces,Testing,Databases,Software reliability,User Software Engineering,Interactive information systems,RAPID/USE,software development methodology,software reliability,transition diagrams
Citation:
Anthony I. Wasserman, Peter A. Pircher, David T. Shewmake, "Building reliable interactive information systems," IEEE Transactions on Software Engineering, vol. 12, no. 1, pp. 147-156, Jan. 1986, doi:10.1109/TSE.1986.6312928
Usage of this product signifies your acceptance of the Terms of Use.