Highway design by constraint specification.

José-Luis Pérez-de-la-Cruz Ricardo Conejo Muñoz Rafael Morales Bueno J. Puy-Huarte

Published in: Artif. Intell. Eng. (1995)

Keyphrases

formal methods
case study
database systems
optimal design
user interface
knowledge based systems
database
real time
information retrieval
search engine
computer aided
design principles
modelling language
tool suite