Formal transducers: Models of devices and building bricks for the design of highly interactive systems.
Johnny AccotStéphane ChattySébastien MauryPhilippe A. PalanquePublished in: DSV-IS (1997)
Keyphrases
- highly interactive
- complex systems
- embedded systems
- uml models
- formal methods
- user friendly
- interactive systems
- design choices
- design criteria
- knowledge based systems
- distributed systems
- computational models
- formal model
- engineering design
- design issues
- building blocks
- operating environment
- statistical models
- trading systems
- mobile devices
- support systems
- reactive systems
- reasoning processes
- design requirements
- formal models
- design decisions
- physical systems
- design space
- biological systems
- case study
- metamodel
- learning systems
- control system
- user interface
- expert systems