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ženo v:
Podrobná bibliografie
Vydáno 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í příspěvek
Jazyk:angličtina
Vydáno: Washington, DC, USA IEEE Computer Society 23.05.2004
Edice:ACM Conferences
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
Bibliografie:SourceType-Conference Papers & Proceedings-1
ObjectType-Conference Paper-1
content type line 25
ISBN:9780769521633
0769521630
ISSN:0270-5257
DOI:10.5555/998675.999482