Specifying with Interface and Trait Abstractions in Abstract State Machines: A Controlled Experiment.
Philipp PaulweberGeorg SimhandlUwe ZdunPublished in: ACM Trans. Softw. Eng. Methodol. (2021)
Keyphrases
- user interface
- user friendly
- computer controlled
- natural language interface
- computer interface
- databases
- human machine interface
- novice users
- direct manipulation
- communication protocol
- graphical interface
- query interface
- high speed
- mobile robot
- artificial neural networks
- search algorithm
- feature selection
- information systems
- real world