Evolving Specification Engineering.
Dusko PavlovicPeter PepperDouglas R. SmithPublished in: AMAST (2008)
Keyphrases
- engineering design
- high level
- engineering problems
- software engineering
- formal specification
- artificial intelligence
- mechanical engineering
- formal verification
- databases
- engineering systems
- expert systems
- design process
- computational intelligence
- materials science
- provably correct
- conceptual model
- user defined
- database
- computer science
- search algorithm
- data structure
- information systems
- real time