 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. |
 |
| Adaptivität-Einstieg |
| Adaptivität beinhaltet Adaptionen von Systemeigenschaften an den Benutzer und die Benutzungssituation auf Initiative des Systems. |
|
| 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. |
|
| Hemmnisse bei der Einführung neuer Methoden und Werkzeuge am Beispiel der Qualitätsbewertung von Software - Einstieg |
| Die Einführung neuer Methoden und Werkzeuge in einen bereits etablierten Entwicklungsprozess gestaltet sich unter Umständen schwierig. Neben den technischen Problemen bei einem solchen Veränderungsprozess gilt es vor allem eine Reihe von sozialen Problemen zu lösen. |
|
| High Level Architecture |
| HLA ist eine international genormte Architektur (IEEE1516) zur Realisierung verteilter Simulationen |
|
 Implementierung von Produktlinien |
| Bei der Implementierung von Produktlinien werden die gemeinsamen und variablen Teile der Produktlinienarchitektur implementiert. |
|
| Integrierte Simulation |
|
| Model Checking |
| Mit Hilfe der Verifikationstechnik Model Checking ist es möglich, die Modellierung eines Systems daraufhin zu überprüfen, ob sie die Eigenschaften aus einer bestimmten Spezifikation erfüllt (...) |
|
| PESOA Übersicht |
| Ziel von PESOA ist die Entwicklung von Methoden und Techniken für die Produktlinienentwicklung prozessorientierter Software, das Process Family Engineering. Dieses umfasst die Entwicklung der Produktlinie bis zur Instanziierung konkreter Produkte auf Basis variantenreicher Prozesse. Wir beschreiben hier Aktivitäten und Artefakte innerhalb des PESOA Software Entwicklungsprozesses und geben Erfahrungen und Beispiele |
|
 Produktlinien - Einstieg |
| Mit Hilfe von Produktlinienentwicklung lässt sich Wiederverwendung im Großen planen und durchführen. |
|
| Produktlinien Technologie-Transfer |
| Unterstützt den Transfer eines Produktlinienansatzes in ein Unternehmen |
|
| Produktlinien-Architektur |
| Das Design einer Produktlinienarchitektur bestimmt die Struktur der Produkte einer Produktlinie |
|
| 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. |
|
| Safety Engineering (Sicherheitsengineering) und Safety Management |
|
| Software Inspektionen |
| Software Inspektion ist eine statische Methode zur Softwarequalitätsverbesserung und Fehlerkostenreduktion. Dabei wird ein Softwaredokument von einem oder mehreren Inspektoren auf Fehler oder Mängel hin untersucht. |
|
| Software-Visualisierung - Einstieg |
| Bei der Entwicklung und Wartung großer Softwaresysteme spielt die Software Visualisierung eine große Rolle, um Tätigkeiten wie Analyse, Entwurf, Testen, Debugging und Wartung eines Softwareprodukts zu unterstützen. |
|
| State-Chart |
| State-Charts sind ein Bestandteil der UML und basieren auf Zustandsautomaten, die das reaktive Verhalten des Systems bzw. einer Komponente darstellen. |
|
| Symbolic Timing Diagrams |
| Bei Symbolischen Zeitdiagrammen (Symbolic Timing Diagrams, STD) handelt es sich um eine grafische Methode zur Erstellung formaler Spezifikationen. |
|
| Theorem Proving |
| Unter Theorem Proving versteht man den Beweis der Korrektheit von Programmen bezüglich einer mathematisch formulierten Spezifikation. Der Korrektheitsbeweis erfolgt auf der Grundlage von formalen (...) |
|
| TTCN-3 - Kernsprache - Überblick |
Die Kernsprache von TTCN-3 ist eine modulare Sprache und ist ähnlich einer typi-schen Programmiersprache.
|
|
| TTCN-3 - Überblick |
| TTCN (die Testing and Test Control Notation TTCN-3) ist eine weit verbreitete und eingesetzte Testtechnologie - traditionell aus der Telekommunikation. In seiner neuen Version adressiert TTCN-3 einen breiteren Bereich und ermöglicht eine weite Anwendbarkeit. Es kann nicht nur für das Testen der Konformität und Interoperabilität von Kommunikationsprotokollen, sondern auch beispielsweise für das Testen der Interaktion von Sensoren, Aktuatoren und Steuereinheiten, die über Bussysteme angeschlossen werden, genutzt werden. |
|
| Verifikation (formal) |
Durch eine (formale) Verifikation im Software- und Hardwareengineering wird die Übereinstimmung der Eigenschaften der erstellten Entitäten (z.B. Dokumente, Modelle, Implementierung) einer (Entwicklungs-)Phase gegenüber der nächsten sichergestellt (...)
|
|
| Verteilte Simulation |
| Gemeinsame Nutzung von mehreren Simulatoren zu Darstellung komplexer Modelle |
|
| Wartung von Produktlinien |
| Zur Wartung einer Produktlinie müssen sowohl die gemeinsame Produktlinieninfrastruktur als auch die daraus abgeleiteten Produkte gewartet werden. |
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Trends in der Automatisierungstechnik