Publikationen

Mit unseren Publikationen decken wir die unterschiedlichsten Forschungsbereiche ab, die sich im Feld von Mensch, Aufgabe und Technik ergeben. Neben traditionellen Themen der Wirtschaftsinformatik wie Wissensmanagement und Geschäftsprozessmanagement, finden Sie dabei auch Beiträge zu aktuellen Themen wie Blended Learning, Cloud Computing oder Smart Grids. Nutzen Sie diesen Überblick, um sich einen Eindruck über die Bandbreite und Möglichkeiten der Forschung der Wirtschaftsinformatik am Standort Essen zu verschaffen.

Art der Publikation: Beitrag in Zeitschrift

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

Autor(en):
de Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika
Titel der Zeitschrift:
Comput. Ind.
Veröffentlichung:
2023
Heftnummer:
151
Digital Object Identifier (DOI):
doi:10.1016/j.compind.2023.103974
Zitation:
Download BibTeX