A Multi-agent Architecture for Automated Product Technical Specification Verification in CAD Environments.
Alain DesrochersSoumaya CherkaouiPublished in: CSCWD (2002)
Keyphrases
- computer aided
- formal verification
- asynchronous circuits
- formal methods
- wide variety
- computer aided design
- semi automated
- real world
- product design
- design process
- information technology
- fully automated
- colored petri nets
- dynamic environments
- high level
- information systems
- human operators
- object oriented
- database systems
- production planning
- product development
- requirements analysis
- life cycle
- technical systems
- protocol specification
- model checking
- petri net
- computer vision
- social networks
- search engine