bpezifikationstechnik, Entwicklungsmethodik und Entwicklun swerkzeuge

• Applicant: Professor Dr. Heinrich Hußmann
• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 2001 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5468152

Ziel des Teilprojekts ist es, die notwendigen Spezifikationsmechanismen für nicht-funktionale Eigenschaften von Komponenten, insbesondere unter Berücksichtigung von Adaptivität von Komponenten, bereitzustellen. Darauf aufbauend werden Mechanismen entwickelt, die die Zusammensetzung nicht-funktionaler Eigenschaften von Einzelkomponenten zu den nichtfunktionalen Eigenschaften komplexer, aus Komponenten aufgebauter, Systeme unterstützen. Anhand eines einfachen prototypischen Entwicklungswerkzeugs und der Entwicklung exemplarischer Einzelkomponenten wird die grundsätzliche Gangbarkeit der vorgeschlagenen Entwicklungsmethodik bestätigt werden.

• DFG Programme: Research Units
• Subproject of: FOR 428: COMponents with QUantitative propgerties and Adaptability "COMQUAD"