Conceptual foundations of software engineering in particular for information system modelling

点击翻译按钮获取中文摘要

Im Fachgebiet Softwaretechnik am Fachbereich Mathematik und Informatik der Universität Marburg bestehen Forschungsschwerpunkte zu (u.a.) Grundlagen der Softwaretechnik, zur Analyse und Modellierung von Informationssystemen (insb. mit Hilfe der Formalen Begriffsanalyse) sowie zur Software-Prozessmodellierung. Seit 1992 gibt es Forschungskontakte zu australischen Universitäten - vorrangig zur University of Queensland in Brisbane/Australien zu diesen Themen. Diese wurden fortgesetzt und weiter intensiviert. In Zusammenarbeit mit den dortigen Arbeitsgruppen von Prof. M. Orlowska (Informationssysteme), Prof. P. Eklund (Knowledge Engineering) und Dr. R. Duke (Software Engineering) wurden in erster Linie folgende Themen bearbeitet: - Einsatz formaler Techniken (insb. der Formalen Begriffsanalyse) in den Frühphasen der Software-Entwicklung, - Bedeutung von Ontologien und Metadaten für eine Standardisierung von Software-Anwendungsfeldern und -komponenten, - Weiterentwicklung des FRISCO-Ansatzes zu einer Ontologie für Informationssysteme, Formalisierung begrifflicher Zusammenhänge durch semantische Netze, Begriffsgraphen (Conceptual Graphs), Themennetze (Topic Maps) sowie Modellierungs- und Annotationssprachen wie UML oder KML.