Formal tasks and systems models as a tool for specifying and assessing automation designs.
Célia MartiniePhilippe A. PalanqueEric BarboniMarco WincklerMartina RagostaAlberto PasquiniPaola LanziPublished in: ATACCS (2011)
Keyphrases
- complex systems
- mathematical models
- physical systems
- formal methods
- management system
- computational models
- artificial intelligence
- abstraction levels
- computing systems
- building blocks
- model selection
- software tools
- computer systems
- finite state machines
- design tools
- probabilistic model
- user interface
- trading systems
- data sets
- analytical models
- visual tasks