Login / Signup
Software Tools for Practical Work with Formal Task Descriptions: A Case Study with an Extended GOMS Technique.
Thomas Strothotte
Peter W. Fach
Erik Olsson
Lars Reichert
Published in:
Software-Ergonomie (1991)
Keyphrases
</>
software tools
test bed
decision making
formal specification
data sets
real world
machine learning
information retrieval
high level
knowledge management
practical application
formal methods
conceptual models
mathematical foundations
formal language
tool support