Zehnter Workshop über quantitative Aspekte von Programmiersprachen, Tallinn, Estland
31 März 2012 - 31 März 2012
Estland
Der zehnte Workshop über quantitative Aspekte von Programmiersprachen ??findet vom 31. März bis zum 1. April 2012 in Tallinn, Estland, statt.
Quantitative Aspekte in der Informatik beziehen sich auf die Verwendung von physikalischen (z. B. Speicherplatz, Zeit und Bandbreite) und mathematischen Größen (einschließlich Wahrscheinlichkeit und Maßnahmen für die Zuverlässigkeit, Sicherheit und Vertrauen). Diese Mengen spielen eine zentrale Rolle bei der Festlegung von Architektur, Sprach-Design, Semantik eines Systems und der Methoden und Werkzeuge für die Analyse und Verifikation von Systemeigenschaften.
Der Workshop bietet ein Forum, um die Nutzung von quantitativen Informationen zu diskutieren, sowohl direkt im Modell und als auch als Werkzeug für die Analyse von Systemen. Zu den Themen gehören:
- Die Gestaltung der probabilistischen, Echtzeit-, Quanten-Sprachen und die Definition von semantischen Modellen für solche Sprachen
- Die Diskussion von Methoden zur Analyse von Probabilistik und Timing und anderen quantifizierbaren Eigenschaften und Ressourcennutzung
- Die probabilistische Analyse von Systemen, die quantitative Aspekte nicht explizit enthalten
- Anwendungen für sicherheitskritische Systeme, Kommunikationsprotokolle, Steuerungen, asynchrone Hardware und andere Bereiche mit quantitativen Fragen.Weitere Informationen sind abrufbar unter: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(öffnet in neuem Fenster)
Quantitative Aspekte in der Informatik beziehen sich auf die Verwendung von physikalischen (z. B. Speicherplatz, Zeit und Bandbreite) und mathematischen Größen (einschließlich Wahrscheinlichkeit und Maßnahmen für die Zuverlässigkeit, Sicherheit und Vertrauen). Diese Mengen spielen eine zentrale Rolle bei der Festlegung von Architektur, Sprach-Design, Semantik eines Systems und der Methoden und Werkzeuge für die Analyse und Verifikation von Systemeigenschaften.
Der Workshop bietet ein Forum, um die Nutzung von quantitativen Informationen zu diskutieren, sowohl direkt im Modell und als auch als Werkzeug für die Analyse von Systemen. Zu den Themen gehören:
- Die Gestaltung der probabilistischen, Echtzeit-, Quanten-Sprachen und die Definition von semantischen Modellen für solche Sprachen
- Die Diskussion von Methoden zur Analyse von Probabilistik und Timing und anderen quantifizierbaren Eigenschaften und Ressourcennutzung
- Die probabilistische Analyse von Systemen, die quantitative Aspekte nicht explizit enthalten
- Anwendungen für sicherheitskritische Systeme, Kommunikationsprotokolle, Steuerungen, asynchrone Hardware und andere Bereiche mit quantitativen Fragen.Weitere Informationen sind abrufbar unter: http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2012/(öffnet in neuem Fenster)