Expert of the SCCH attended 25. ACM Symposium on Applied Computing
About 500 participants attended that conference, which was held in Switzerland. Georg Buchgeher, presented „Paving the Road for Formally Defined Architecture Description in Software Development”.
Formal description of the software architecture
They are the basis for any kind of automatic analysis of the software architecture. To develop such a formal description of the architecture is mostly time consuming and error prone, that’s the reason why mostly informal approaches are used in practice. Georg Buchgeher presented a tool-supported approach for the incremental creation of formal descriptions of the software architecture. A tool which analyses the architecture continuously, informs the user on the spot if there is a mistake in the description of the architecture.
More and more formal models
“Formal models will become more and more important. It’s necessary to provide the user with the adequate tool kit, which facilitate the handling of such models”, states Buchgeher.
You will find further information on the website of the conference.