|
|||||
|
|
Conceptual modelling: Towards detecting modelling errors in engineering applications |
|
| Authors: | Klaus Gürlebeck Dmitrii Legatiuk Henrik Nilsson Kay Smarsly |
| Affiliation: | 1. Chair of Applied Mathematics, Bauhaus University Weimar, Germany;2. Functional Programming Laboratory, School of Computer Science, University of Nottingham, Nottingham, UK;3. Chair of Computing in Civil Engineering, Bauhaus University Weimar, Germany |
| Abstract: | |
| Keywords: | abstraction engineering formal approaches modelling type theory |