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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 s. 711 - 712
Hlavný autor: Breen, Michael
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: Washington, DC, USA IEEE Computer Society 23.05.2004
Edícia:ACM Conferences
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780769521633
0769521630
ISSN:0270-5257
DOI:10.5555/998675.999482