Formal design of cooperative systems.
Michel DiazThierry VillemurFrançois VernadatPublished in: PSTV (1995)
Keyphrases
- cooperative
- formal methods
- interactive systems
- building blocks
- design principles
- design issues
- mechanical systems
- design criteria
- computer systems
- knowledge based systems
- design process
- embedded systems
- cooperative learning
- operating environment
- information systems
- human computer interface
- design decisions
- engineering design
- distributed systems
- user interface
- multi agent systems
- case study