6 search results - page 2 / 2 » Using ontologies linked with geometric models to reason abou... |
ER
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...