 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | |  | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Verfahren |
|
Was kostet die Einführung formaler Spezifikationssprachen? |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Die Kosten für die Einführung und breite Verwendung formaler Spezifikationssprachen sind je nach Problemumfeld unterschiedlich. Pauschale Aussagen sind an dieser Stelle schwierig. Die nachfolgenden Kostenblöcke fallen jedoch mindestens an:
Adaptionskosten Die formale Spezifikationstechnik hat Einfluss auf den Entwicklungsprozess. Das bestehende Vorgehen ist an die formale Spezifikationsmethode anzupassen. Damit ändern sich auch die Verfahren zur Qualitätssicherung, die Teamorganisation, die Risikobewertung usw. Die Kosten für die Adaption hängen von der bestehenden Organisation und den etablierten Prozessen ab. Schulungskosten Autodidaktisch sind formale Methoden kaum in ausreichender Tiefe zu lernen. Schulungen für Entwickler, Designer und Qualitätssicherer in den Werkzeugen und Methoden sind notwendig. Im Meteor-Projekt in der Sprache B [BBFM99] wurden insgesamt zwei Drittel der Entwickler in B geschult. Das gesamte Schulungsprogramm umfasste drei Kurse von jeweils einer Woche Dauer. Der Grundlagenkurs vermittelte die B-Sprache. Der Entwicklerkurs schulte, wie große Modelle mit B entwickelt werden. Ein Validierungskurs zeigte, wie mit B Modelle verifiziert und validiert werden [Meteor: A Successful Application of B in a Large Project]. Hall beschreibt in [Hal90] vergleichbare Schulungsaufwände für die Sprache Z. Lernkurve Erst mit einigen Erfahrungen kann eine formale Spezifikationssprache bzw. –methode effektiv eingesetzt werden. Erfahrungen können nur über Pilotprojekte bzw. Kundenprojekte gesammelt werden. Über die Erfahrungen kann der Einsatz verbessert werden, daraus entwickeln sich Best-Practices, Vorlagen, Beispiele usw. Die Kosten für die Durchführung eines Pilotprojektes und die anschließende Aufarbeitung der Lerneffekte hängen von der Anwendungsdomäne und der Firma ab. Werkzeug- und Supportkosten Eine formale Spezifikationssprache ist ohne ein grafisches Werkzeug nicht im industriellen Kontext einsetzbar. Werkzeuge sind erforderlich, welche die formale Spezifikation unterstützen und vereinfachen. Für die Sprache B kosten die Werkzeuge der Firma B-Core für 8 Entwickler beispielsweise 20.000 Pfund, zu anderen Spezifikationssprachen sind kostenlose Werkzeuge verfügbar, beispielsweise AutoFocus zu FOCUS. Jährliche Supportkosten für die Werkzeuge sind ggf. zusätzlich einzukalkulieren. | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren | ||||
| ||||
| ||||
| ||||
| Was kostet die Einführung... | ||||
| ||||
| ||||
| ||||
| ||||
| Literaturhinweise | | ||
| ||||
|
| | ||
| ||||
| ||||
| ||||
| Weitere Themen | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
