A Formal Specification of the Horus Modeling Language Using FDMM
Fill, Hans-Georg; Hickl, Susan; Karagiannis, Dimitris; Oberweis, Andreas
; Schoknecht, Andreas
; Schoknecht, Andreas| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2013 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-00-041360-5 KITopen-ID: 1000040704 |
| Erschienen in | Proceedings of the 11th International Conference on Wirtschaftsinformatik (WI2013), Feb 27 - Mar 01 2013 University Leipzig, Germany. Vol. 2. Hrsg. R. Alt |
| Verlag | Merkur |
| Seiten | 1165 - 1179 |