In diesem Beitrag konzentrieren wir uns auf Modelle zur Beschreibung des dynamischen Verhaltens von Systemen. Während „Datenmodellierung“ ein aus der Datenbanktheorie wohlbekanntes Konzept ist, gibt es für das Modellieren von Verhalten keinen gleichermaßen etablierten Begriff. Ein solcher Begriff würde weit mehr als den Kontrollund Datenfluss umfassen und auch generelle Fragen an das Konzept de...

In einem größeren Scrum-Projekt wurden gezielt Konzepte der Systemanalyse, hauptsächlich für das Zusammenspiel mit anderen Anwendungen, erstellt. Wir beschreiben das von uns praktizierte Vorgehen und die erzielten Resultate. Die gewonnenen Erfahrungen zeigen, dass die zu analysierenden Themen sorgfältig ausgewählt werden wollen, um unnötige Aufwendungen zu vermeiden, dass es jedoch eine Reihe v...

Between 1937 and 1945, numerous American journalists became gravely concerned about a rapidly growing Mexican Catholic right-wing movement, the Unión Nacional Sinarquista (UNS). Founded in 1937, UNS spread across Mexico by 1941, Sinarquistas had formed chapters United States as well. This coincided with U.S. entry into World War II, heightened concern potential threat represented immigrants loy...

Die Anforderungsermittlung der Benutzerschnittstelle ist eng mit ihrem Design verbunden. In diesem Artikel erläutern wir, welches Vorgehen sich in der Praxis bei sd&m bewährt hat. Wir beschränken uns dabei auf zwei Aspekte: Weshalb ist Anforderungsermittlung und Spezifikation miteinander verschränkt und welche Techniken sind am effektivsten, um zu prüfen, ob ein eine Spezifikation und insb. das...

Anhand eines Beispiels aus der modellbasierten Qualitätssicherung evaluieren und vergleichen wir vier Eclipse-basierte Transformationsmaschinen. Über einen flexiblen Mechanismus binden wir diese in ein Testwerkzeug ein und setzen eine sprachunabhängig beschriebene Beispieltransformation in den einzelnen Transformationssprachen um. Anschließend diskutieren wir deren Eignung anhand eines von uns ...

Jenseits der allgemein bildenden Anforderungen an die Didaktik der Informatik wurden und werden von den informatisch nicht [vor-]gebildeten Nutzern informatischer Systeme immer wieder pragmatische Herangehensweisen angemahnt, gefordert und angeboten. Dies stellt für die Lehrerbildung ein besonderes Problem dar, dem wir uns mit dem vorliegenden Beitrag stellen.

Dieses Papier berichtet über Arbeiten im Rahmen des Projektes SAMS, in welchem eine Fahrwegsicherungskomponente für Serviceroboter und fahrerlose Transportsysteme entwickelt und ihre Software nach IEC 61508 zertifiziert wird. Neu ist hierbei der durchgehende Einsatz formaler Modellierung und Beweis als Mittel zur Zertifizierung, das es uns erlaubt, die erforderlichen Sicherheitsbedingungen sehr...