7. internationaler Workshop zu formalen Aspekten von Komponentensoftware, Guimaraes, Portugal
14 Oktober 2010 - 14 Oktober 2010
Portugal
Vom 14. bis 16. Oktober 2010 findet in Guimaraes, Portugal, zum siebten Mal der internationale Workshop zu formalen Aspekten von Komponentensoftware statt.
Im Mittelpunkt der Veranstaltung steht die Frage, wie formale Methoden die Entwicklung von Softwarekomponenten unterstützen können oder sollten. Komponentenbasierte Softwareentwicklung ist ein viel versprechendes Paradigma im Umgang mit immer komplexeren Softwarelösungen. Die Softwareentwicklung wird so durch fundierte Produktionstechnologien und technische Grundlagen gestärkt. Offen sind jedoch noch immer viele konzeptuelle und technologische Fragen zu komponentenbasierter Softwareentwicklung in Theorie und Praxis.
Formale Methoden sind mathematische Techniken zur Spezifizierung, Entwicklung und Verifizierung von Software- und Hardwaresystemen. Auf ihrer Basis lassen sich formale Grundlagen für komponentenbasierte Software erarbeiten und vorrangige Aufgaben identifizieren, u.a. die Entwicklung mathematischer Modelle für Komponenten, Komposition und Anpassung oder tragfähige Ansätze für Verifizierung, Einsatz, Test und Zertifizierung.
Der Workshop bringt Forscher und Sachverständige im Bereich komponentenbasierter Software und formaler Methoden zusammen, um das Verständnis für Paradigmen und Anwendungen komponentenbasierter Softwareentwicklung zu vertiefen.Weitere Informationen unter:
http://www3.di.uminho.pt/facs2010/(öffnet in neuem Fenster)
Im Mittelpunkt der Veranstaltung steht die Frage, wie formale Methoden die Entwicklung von Softwarekomponenten unterstützen können oder sollten. Komponentenbasierte Softwareentwicklung ist ein viel versprechendes Paradigma im Umgang mit immer komplexeren Softwarelösungen. Die Softwareentwicklung wird so durch fundierte Produktionstechnologien und technische Grundlagen gestärkt. Offen sind jedoch noch immer viele konzeptuelle und technologische Fragen zu komponentenbasierter Softwareentwicklung in Theorie und Praxis.
Formale Methoden sind mathematische Techniken zur Spezifizierung, Entwicklung und Verifizierung von Software- und Hardwaresystemen. Auf ihrer Basis lassen sich formale Grundlagen für komponentenbasierte Software erarbeiten und vorrangige Aufgaben identifizieren, u.a. die Entwicklung mathematischer Modelle für Komponenten, Komposition und Anpassung oder tragfähige Ansätze für Verifizierung, Einsatz, Test und Zertifizierung.
Der Workshop bringt Forscher und Sachverständige im Bereich komponentenbasierter Software und formaler Methoden zusammen, um das Verständnis für Paradigmen und Anwendungen komponentenbasierter Softwareentwicklung zu vertiefen.Weitere Informationen unter:
http://www3.di.uminho.pt/facs2010/(öffnet in neuem Fenster)