Executable Interface Specifications for Testing Asynchronous Creol Components.

Immo Grabe Marcel Kyas Martin Steffen Arild B. Torjusen

Published in: FSEN (2009)

Keyphrases

formal specification
delay insensitive
asynchronous circuits
software components
process algebra
visual interface
real time
control flow
user friendly
user interface
model checking
software testing
test cases
human computer interface
graphical interface
high level
information retrieval
database
unit testing