Building reliable interactive information systems

User software engineering (USE) 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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1986-01, Vol.SE-12 (1), p.147-156
Main Authors: Wasserman, Anthony I., Pircher, Peter A., Shewmake, David T.
Format: Article
Language:English
Subjects:
Applied sciences
Design
Development
Electronics
Engineering
Exact sciences and technology
Hardware
Information systems
Interactive
Interactive information systems
Libraries
RAPID/USE
Reliability
Software
software development methodology
Software reliability
Testing
transition diagrams
User interface
User interfaces
User Software Engineering
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:User software engineering (USE) 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. The authors 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.
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.1986.6312928