Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems.
Rakefet KolRan GinosarGoel SamuelPublished in: ASYNC (1996)
Keyphrases
- design criteria
- design methodology
- knowledge based systems
- design process
- design issues
- interactive systems
- human computer interface
- support systems
- soft systems
- data sets
- design processes
- data intensive
- engineering design
- building blocks
- multi agent
- design decisions
- design tools
- conceptual model
- learning systems
- user interface
- design space exploration
- web based educational systems
- artificial intelligence