This post originated from an RSS feed registered with .NET Buzz by Damir Tomicic. Original Post: [Architecture] Formalism in Software Architectures Feed Title: Damir Tomicic : community powered Feed URL: http://tomicic.de/SyndicationService.asmx/GetRss Feed Description: stuff about .NET, community and life - in several languages. Latest .NET Buzz Posts Latest .NET Buzz Posts by Damir Tomicic Latest Posts From Damir Tomicic : community powered

Prof. Dr. Pepper von der TU-Berlin erklärt: "Die Produktion von Software hoher Qualität wird durch die geeignete Verwendung von formalen Methoden gefördert. Diese Herangehensweise erfordert die präzise Spezifikation der Anforderungen sowie die korrektheitserhaltende Ableitung einer Implementierung." Klingt akademisch, ist aber so.

Um die heutigen Modellierungsansätze besser verstehen zu können, bietet sich der Einstieg in die Vorgehensweise zur Beschreibung von Anforderungs- und Entwurfsspezifikationen mit den Schriften [1] bis [4] des Professor Dr, Medvidović am Center for Software Engineering der University of Southern California (USC).

[1] Introduction to Formal Methods (PDF)
[2] Overview of Formal Methods in Software Architectures (PDF)
[3] Multi-Paradigm Modeling (PowerPoint)
[4] Overview of Software Architectures (PDF)