 Activity-Charts |
| Activity-Charts ähneln hierarchischen Datenflußdiagrammen, d.h. die einzelnen funktionalen Komponenten (Activities) werden identifiziert und anschließend die (potentiellen) Kontroll- und Datenflüsse zwischen ihnen eingezeichnet. |
 |
| Beschreibungstechniken für Softwarearchitekturen |
| In welcher Sprache sollte eine Softwarearchitektur dargestellt werden? Genügen informelle Schaubilder in ad-hoc überlegten Box-And-Arrow Notationen oder sollten formale Ansätze verwendet werden, damit die Konsistenz und Widerspruchsfreiheit der damit formulierten Modelle geprüft werden kann? Diese Frage lässt sich pauschal nicht beantworten. Die Umstände des Projektes und insbesondere die nicht-funktionalen Anforderungen an das zu erstellende System entscheiden mit über den Einsatz einer Notation. |
|
| EET |
| Besschreibungstechnik, die zur Modellierung der Interaktionssicht in AutoFocus eingesetzt wird |
|
| Einführung in die MDA |
| Die MDA (Model Driven Architecture) ist eine Strategie der Object Management Group (OMG) zur modellgetriebenen Soft- und Hardwareentwicklung, welche durch eine klare Trennung von Abstraktionsschichten bei der Modellierung von Systemen die Wiederverwendbarkeit/Langlebigkeit der Modelle sichert. |
|
| Endlicher Automat |
Ein endlicher Automat ist ein Modell eines Systems mit Ein- und Ausgaben, welches auf Basis einer endlichen Anzahl von möglichen (internen) Konfigurationen arbeitet, bestimmte Eingabewörter akzeptiert und ...
|
|
| Formale Logiken |
| Formale Logiken sind der Teil der formalen Sprachen, bei denen durch (u.U. automatisch durchführbare) Symbolmanipulation Schlüsse gezogen werden können. Damit solche Schlüsse möglich sind, müssen eine formale Syntax und eine Semantik definiert sein. |
|
| Informelle und formale Spezifikation |
|
| Pragmatische Software-Architektur für Automotive-Systeme (Artikel-Übersicht) |
| Kathedralen und Software für Automotive-Systeme haben etwas gemeinsam: Wenn die Architektur nicht stimmt, sind beide instabil und brechen in sich zusammen. Auch wenn der Vergleich von Software und Baubranche nicht neu ist und an einigen Stellen sicher hinkt, so stellt er doch in anschaulicher Weise die Problematik der Software-Erstellung im Automobilbereich dar – die Auseinandersetzung mit komplexen Strukturen. |
|
 Produktlinien-Architektur |
| Das Design einer Produktlinienarchitektur bestimmt die Struktur der Produkte einer Produktlinie |
|
| SSD |
| Beschreibungstechnik, die zur Modellierung der Struktursicht in AutoFocus eingesetzt wird |
|
| State-Chart |
| State-Charts sind ein Bestandteil der UML und basieren auf Zustandsautomaten, die das reaktive Verhalten des Systems bzw. einer Komponente darstellen. |
|
| STD |
| Besschreibungstechnik, die zur Modellierung der Verhaltenssicht in AutoFocus eingesetzt wrid |
|
| UML 2.0 Überblick |
| Die UML 2.0 ist die Nachfolgerin der Unified Modeling Language Version 1.5. Sie enthält wesentliche Änderungen zu Ihrer Vorgängerin in der Verhaltens- und Strukturmodellierung. Die Neuerungen werden hier dargestellt. Weitere Informationen finden sich auf den Seiten der Object Management Group bzw. auf den UML-Seiten der OMG. |
|
| UML-RT |
| Erweiterung der UML um Elemente zur Beschreibung von Echtzeitsystemen <> |
|
| UMLsec |
| UMLsec unterstützt den Entwurf sicherheitskritischer Systeme. UML-Modelle, wie sie typischerweise während der Software-Entwicklung entstehen, werden mit Hilfe der UMLsec-Sprachmittel erweitert. |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Die Model Driven Architecture aus Praxissicht: Lohnt sich MDA? (Artikel-Überblick)