Interactive Systems: Design, Specification, and Verification 1995
DOI: 10.1007/978-3-642-87115-3_10
|View full text |Cite
|
Sign up to set email alerts
|

A Tool-Supported Approach to the Refinement of Interactive Systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

1995
1995
2002
2002

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(1 citation statement)
references
References 7 publications
0
1
0
Order By: Relevance
“…For example, the Dialogue Component ensures that the user executes the task "open document" before performing any editing task. Typically, model-based user interface generators produce the Dialogue Component from the specification of a task model (Paterno', 1994).…”
Section: The Functional Componentsmentioning
confidence: 99%
“…For example, the Dialogue Component ensures that the user executes the task "open document" before performing any editing task. Typically, model-based user interface generators produce the Dialogue Component from the specification of a task model (Paterno', 1994).…”
Section: The Functional Componentsmentioning
confidence: 99%