 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. |
 |
| Algebraische Spezifikationsmethoden |
| Eine algebraische Methode verwendet Funktionen (Operationen), elementare oder abstrakte Datentypen und Axiome zur Beschreibung von Systemen. Der Zustand des Systems wird nicht explizit modelliert. |
|
| Ein Überblick über XML |
| Überblick über die eXtensible Markup Language (XML), ihre Geschichte, den Aufbau und die Struktur von XML-Dokumenten und die Modellierung (XMI und XML-Schema). |
|
| 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 ...
|
|
| Entwurf eingebetteter Systeme |
| Der Entwurf eingebetteter Systeme ist ein Anwendungsgebiet, dessen besondere Anforderungen sich aus der Optimierung des Zusammenwirkens heterogener Teilsysteme ergeben, wobei es nicht nur darauf ankommt, dass das eingebettete System (...) |
|
| 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. |
|
| Formale Sprachen und Programmiersprachen |
| Programmiersprachen sind keine formalen Sprachen im engeren Sinne, da sie in der Regel keine exakt definierte Semantik haben. Probleme bereiten hier insbesondere C, C++ und Java. |
|
 Implementierung von Produktlinien |
| Bei der Implementierung von Produktlinien werden die gemeinsamen und variablen Teile der Produktlinienarchitektur implementiert. |
|
| Modellbasierte formale Spezifikation |
| Im Zentrum der modellbasierten Ansätze steht der Zustand des Systems. Systeme werden vor allem über mathematische Mittel wie Mengen, Folgen und Relationen definiert. Invarianten auf dem Zustand werden über Prädikate beschrieben. |
|
| PuLSE |
| PuLSETM ist ein am Fraunhofer IESE entwickeltes Framework zum Produktlinienengineering |
|
 PuLSE DSSA |
| Ziel von PuLSE DSSA ist es, eine Produktfamilienarchitektur zu schaffen und zu erfassen, welche die Struktur der Produktfamilienmitglieder optimal unterstützt. |
|
| State-Chart |
| State-Charts sind ein Bestandteil der UML und basieren auf Zustandsautomaten, die das reaktive Verhalten des Systems bzw. einer Komponente darstellen. |
|
| WebServices |
| Hier wird ein Überblick über Webdienste (Web Services) gegeben. |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
