Statestep A Tool for Systematic, Incremental Specification

Statestep is an interactive tool for editing and checkingspecifications based on the finite state machine (FSM)model. The tabular notation supported is a novel yet simpleone, first developed to specify the external behaviour of aseries of audio compact disc recorders. The technique helpsto describe...

Full description

Saved in:
Bibliographic Details
Published in:International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 pp. 711 - 712
Main Author: Breen, Michael
Format: Conference Proceeding
Language:English
Published: Washington, DC, USA IEEE Computer Society 23.05.2004
Series:ACM Conferences
Subjects:
Applied sciences
Computer science; control theory; systems
Computer systems organization > Embedded and cyber-physical systems > Embedded systems
Exact sciences and technology
Human-centered computing > Human computer interaction (HCI)
Software
Software and its engineering > Software creation and management > Software development process management > Software development methods
Software and its engineering > Software creation and management > Software development techniques
Software and its engineering > Software notations and tools > Development frameworks and environments
Software and its engineering > Software organization and properties > Software system structures > Embedded software
Software and its engineering > Software organization and properties > Software system structures > Real-time systems software
Software engineering
Theory of computation > Formal languages and automata theory
Theory of computation > Semantics and reasoning > Program reasoning > Program specifications
Motor car
Software development
User interface
Refinement method
Compact disk
Finite state machine
User assistance
Iterative method
Modeling
ISBN:9780769521633, 0769521630
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Statestep is an interactive tool for editing and checkingspecifications based on the finite state machine (FSM)model. The tabular notation supported is a novel yet simpleone, first developed to specify the external behaviour of aseries of audio compact disc recorders. The technique helpsto describe system behaviour in a systematic manner, intendedprincipally to ensure that no unusual scenarios, orcorner cases, are overlooked at the specification stage. Thenotation is readily understandable and can reduce or eliminatethe need for internal events or other structuring primitives.It supports a naturally incremental approach to specification and seems especially suited to dealing with the kind of complexity that can arise in embedded user interfaces.
Bibliography:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780769521633
0769521630
ISSN:0270-5257
DOI:10.5555/998675.999482