With our publications we cover the most diverse research areas that arise in the field of man, task and technology. In addition to traditional Business Information Systems topics such as knowledge management and business process management, you will also find articles on current topics such as blended learning, cloud computing or smart grids. Use this overview to get an impression of the range and possibilities of research in Business Information Systems at the University of Duisburg-Essen.

Type of Publication: Article in Collected Edition

Towards Extending the Validation Possibilities of ADOxx with Alloy

Author(s):
De Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika
Editor:
Springer
Title of Anthology:
Proceedings of the 2020 Conference on the Practice of Enterprise Modeling
Publisher:
Springer
Publication Date:
2020
Citation:
Download BibTeX