Finite state modelling in program development
Proceedings of the international conference on Reliable software
A collection of software tools for analyzing designs of concurrent software systems
ICSE '85 Proceedings of the 8th international conference on Software engineering
Architecture prototyping in the software engineering environment
IBM Systems Journal
Hi-index | 0.00 |
If a design is viewed as a model of the eventual implementation, and if it is expressed in a well-defined design notation, it can be made executable and treated as a prototype which reflects whatever internal details are expressed in the design. However, to turn this technique into a way of constructing a prototype whose externally-observable behavior is meaningful from the user's point of view, methods must first be developed for the rapid prototyping of user interfaces.