User interface for specification language for case-based mechanical design.
Abhay DandekarIbrahim ZeidTheodore BardaszPublished in: Artif. Intell. Eng. Des. Anal. Manuf. (1997)
Keyphrases
- specification language
- mechanical design
- user interface
- programming language
- formal specification
- description language
- case based reasoning
- conceptual design
- human computer interaction
- user interaction
- symbolic execution
- control system
- requirements specification
- software environment
- case base
- database
- model checking
- general purpose
- association rules
- case study
- databases
- real time