Modelling the mock-up: towards the automatic specification of the behaviour of early prototypes.

Chris Phillips Chris Scogings

Published in: INTERACT (1997)

Keyphrases

semi automatic
genetic algorithm
fully automatic
modelling language
real time
social networks
website
three dimensional
high level
formal methods
formal verification