Transaction-Oriented Engineering Design and Formal Specification: a Multi-Agent Approach.
Muhammad YounasKuo-Ming ChaoRachid AnaneAnne E. JamesChen-Fang TsaiPublished in: Trans. SDPS (2003)
Keyphrases
- engineering design
- formal specification
- multi agent
- model checking
- object oriented design
- specification language
- specification languages
- conceptual design
- artificial intelligence
- formal methods
- design process
- process algebra
- data abstraction
- reverse engineering
- computer science and artificial intelligence
- database
- engineering problems
- design theory
- automated design
- concurrent systems
- software components
- multi agent systems
- cooperative
- programming language
- engineering education
- protocol specification
- transaction management
- user interface
- machine learning
- real world