Conceptual foundations of software engineering in particular for information system modelling

美国马尔堡大学数学与信息专业软件技术研究所软件技术基础，信息系统分析与建模借助于形式化的概念分析，可以建立软件过程模型。自1992年以来，研究人员一直在澳大利亚大学--位于布里斯班/澳大利亚的昆士兰州大学工作。这是一个很大的挑战，也是一个很大的挑战。在Zusammenarbeit与dortigen Arbeitsgruppen冯教授。Orlowska（信息系统），P. Eklund教授（知识工程）和R.杜克（软件工程）wurden in erster Linie folgende Themen bearbeitet：-一个正式的技术（insb.在软件开发的早期阶段，本体论和元数据对软件分析和组件的标准化有重要意义，FRISCO-Ansatzes在信息系统本体论中的重要作用是通过语义内策、概念图、主题图等形式化方法实现对信息系统的建模和注释。

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.