Publications

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 Journal

Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy

Author(s):
de Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika
Title of Journal:
Comput. Ind.
Publication Date:
2023
Number of Issue:
151
Digital Object Identifier (DOI):
doi:10.1016/j.compind.2023.103974
Citation:
Download BibTeX