SCCH Experte nahm am 25. ACM Symposium on Applied Computing teil
Rund 500 Teilnehmer besuchten diese Konferenz in der Schweiz. Georg Buchgeher, wissenschaftlicher Mitarbeiter am SCCH, präsentierte das Thema „Paving the Road for Formally Defined Architecture Description in Software Development”.
Formale Architekturbeschreibung
Sie sind die Voraussetzung für jede Art von automatischer Architekturanalyse. Die Erstellung von formalen Architekturbeschreibungen gilt jedoch als sehr zeitintensiv und fehleranfällig, weshalb in der Praxis immer noch informale Ansätze dominieren.
Georg Buchgeher präsentierte einen werkzeugunterstützten Ansatz zur inkrementellen Erstellung formaler Architekturbeschreibungen. Dabei macht eine kontinuierliche und automatische Analyse den Benutzer sofort auf Fehler in der Architekturbeschreibung aufmerksam.
Immer mehr formale Modelle
“Formale Modelle gewinnen immer mehr an Bedeutung. Wichtig ist es dem Benutzer entsprechende Werkzeuge zu geben, die ihm die Arbeit mit diesen Modellen erleichtern", erklärt Buchgeher.
Mehr Informationen finden Sie auf der Konferenzwebsite.