Überblick über die eXtensible Markup Language (XML), ihre Geschichte, den Aufbau und die Struktur von XML-Dokumenten und die Modellierung (XMI und XML-Schema).
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.
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.
Mit Hilfe der vom OFFIS und der Universität Oldenburg entwickelten Verifikationsumgebung für Statemate kann die Erfüllung der Anforderungen einer in Symbolic Timing Diagrams vorliegenden Spezifikation durch ein als State-Chart vorliegendes (...)
Moderne Software-Entwicklung ist ohne Werkzeugunterstützung nicht mehr denkbar. Für jede Phase des Software-Lebenszyklus lassen sich die entsprechenden Ziele angeben und Methoden zu deren Erreichung beschreiben.
Werkzeug zur Entwicklung von Software eingebetteter Systeme mit Modellierungstechniken wie der UML-RT, Möglichkeiten zur Simulation, Konsistenzprüfung, Generierung von Code und zur Validierung und Verifkation. Teilw. frei verfügbar.