
FMOODS & FORTE 2012
IFIP International Conference on Formal Techniques for Distributed Systems joint international...
Der Fokus der Arbeiten des Fachgebiets Systemanalyse und Modellierung liegt im Bereich der modellgetriebenen Softwareentwicklung.
Dies umfasst die Spezifikation von flexiblen Systemen mit Mustern und Komponenten, Ansätze zur Analyse und formalen Verifikation dieser Modelle, und Ansätze zur Synthese von Modellen. Einen besonderen Schwerpunkt dabei bilden verteilte Systeme, eingebettete Echtzeitsysteme und Systeme mit der Eigenschaft sich selbst anzupassen und zu koordinieren.
Darüber hinaus werden Transformationen von Modellen, Konzepte zur Codegenerierung für Strukturen, Verhalten für Modelle und allgemein die Problematik der Integration von Modellen, bei der modellgetriebenen Softwareentwicklung betrachtet.
Eine detaillierte Beschreibung der Arbeiten des Fachgebiets kann auf der Seite zur Forschung gefunden werden.
News
Vortrag »Models at Runtime for Adaptive and Self-managing Software« von Professor Giese zusammen mit Thomas Vogel.
Anlässlich des Dagstuhl Seminars Models@run.time hielt Professor Giese zusammen mit Thomas Vogel einen Vortrag zum Thema: »Models at Runtime for Adaptive and Self-managing Software«.[mehr]
Vortrag von Prof. Giese für den Workshop on Service-oriented Systems
Am 22. November präsentierte Prof. Giese seinen Vortrag zum Thema »Service-oriented Systems & Self-Adaptive Systems« in Barcelona.[mehr]
Vortrag 'Towards Verifying CPS with Structural Dynamism' von Prof. Giese zusammen mit Basil Becker
Auf dem, vom ersten bis vierten November stattgefundenen „Seminar Science and Engineering of Cyber-Physical Systems“ referierten Prof. Holger Giese und Basil Becker zum Thema »Towards Verifying CPS with Structural Dynamism «[mehr]
Steffen Rönnecke (Berliner Rotes Kreuz e.V.) zu Gast am 27.07. um 17 Uhr
Am 27.07. ist um 17 Uhr Steffen Rönnecke (Berliner Rotes Kreuz e.V.) am Fachgebiet für Systemanalyse und Modellierung zu Gast.[mehr]
Vortrag von Dr. Leen Lambers an der Goethe Universität Frankfurt am Main
Correctness of Model Transformations[mehr]
Organisation des Seminars Science and Engineering of Cyber-Physical Systems
Prof. Giese organisiert dieses Jahr das Seminar: Science and Engineering of Cyber-Physical Systems mit. Es findet vom 01.-04. November diesen Jahres auf Schloss Dagstuhl im Saarland statt.[mehr]
Vortrag von Prof. Giese an der NTH Braunschweig
Model-Driven Engineeringof Self-Adaptive Software While software is an immaterial object that does not decay with time, Parnas pointed out that it is in fact aging. Lehman's laws of software evolution accordingly states that a...[mehr]
Vortrag von Prof. Giese an der Königlich Technische Hochschule Stockholm, Schweden
Model-Driven Engineeringof Self-Adaptive Software While software is an immaterial object that does not decay with time, Parnas pointed out that it is in fact aging. Lehman's laws of software evolution accordingly states that a...[mehr]
EATCS Best Paper Award
Am 30.09.2010 hat Leen Lambers zusammen mit ihren Koautoren Hartmut Ehrig, Annegret Habel, Fernando Orejas und Ulrike Golas für den Beitrag „Local Confluence for Rules with Nested Application Conditions“ auf der ICGT-Konferenz...[mehr]
Vortrag von Andreas Seibel am FZI in Karlsruhe
Andreas Seibel hielt einen Vortrag im Rahmen des Workshops "Model-Driven Development in the Real World", organisiert durch das FZI und dem KIT in Karlsruhe, zum Thema "Dealing with Multiple Overlapping Modeling Languages in...[mehr]
Offene Masterarbeit: "Modell-getriebenen Entwicklung von Softwaresystemen mit Hilfe von verteilten und versions-basierten Megamodellen"
Voraussetzungen: Modellierung, Versionierung, Eclipse, EMF Ansprechpartner: Andreas Seibel[mehr]
Vortrag von Prof. Holger Giese an der Technischen Universität in Berlin
Prof. Holger Giese hielt einen Vortrag in einem Seminar, organisiert durch das Forschungskolloquium TFS an der TU Berlin zum Thema "Modellgetriebene Softwareentwicklung und Graphtransformationssysteme".[mehr]
Vortrag von Prof. Holger Giese auf der ersten CHIST-ERA Konferenz in Rom
Prof. Holger Giese hielt auf der ersten CHIST-ERA Konferenz in Rom in einem Experten Gespräch einen Vortrag zum Thema "Self-Awareness and Self - Consciousness via Software: An Engineering Perspective". [mehr]
Vortrag von Prof. Holger Giese an der Charles Universität in Prag
Prof. Holger Giese hielt einen Vortrag in einem Seminar, organisiert durch die Forschungsgruppe "Verteilte Systeme" an der Charles Universität in Prag zum Thema "Model-Driven Software Engineering of Self-Adpative Systems".[mehr]


