Daniel Witsch

发表

PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering – Aspects on Behavioral Semantics and Model-Checking

Birgit Vogel-Heuser, Daniel Witsch, B. Vogel‐Heuser, 2011 .

Close integration between UML and IEC 61131-3: New possibilities through object-oriented extensions

Birgit Vogel-Heuser, Daniel Witsch, B. Vogel‐Heuser, 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

UML für die Steuerungsprogrammierung - Studie zur Nutzung der Objektorientierung in der Automatisierungstechnik

Birgit Vogel-Heuser, Daniel Witsch, 2004 .

Modularität und Wiederverwendung

Birgit Vogel-Heuser, Andreas Korff, Steffen Weber, 2006 .

Anforderungsorientierter Entwurf eines UML basierten Software-Entwicklungswerkzeuges für die Steuerungsprogrammierung

Birgit Vogel-Heuser, Daniel Witsch, B. Vogel-Heuser, 2008 .

Modellgetriebene Entwicklung von Steuerungssoftware auf Basis der UML unter Berücksichtigung der domänenspezifischen Anforderungen des Maschinen- und Anlagenbaus

Daniel Witsch, D. Witsch, 2013 .

Automatische Codegenerierung aus der UML für die IEC 61131-3

Birgit Vogel-Heuser, Daniel Witsch, B. Vogel-Heuser, 2004, PEARL.

UML zur technologieorientierten Spezifikation von Steuerungssoftware

Daniel Witsch, Ulf Schünemann, 2009 .

Entwurf wiederverwendbarer Steuerungssoftware mit Objektorientierung und UML

Birgit Vogel-Heuser, Andreas Wannagat, Daniel Witsch, 2008 .

Steigerung der Effizienz und Qualität von Steuerungsprogrammen durch Objektorientierung und UML

Birgit Vogel-Heuser, Daniel Witsch, Ulf Schünemann, 2008 .

Techniken zur effizienten Verifikation von Echtzeitsystemen durch Model-Checking

Birgit Vogel-Heuser, Daniel Witsch, 2006 .

Modellierungsansatz für Zeitanforderungen und Kommunikationsnetze

Birgit Vogel-Heuser, Daniel Witsch, B. Vogel-Heuser, 2008 .

Automatische Testfallgenerierung mittels Model-Checking für Steuerungsprogramme

Birgit Vogel-Heuser, Daniel Witsch, Benjamin Kormann, 2010 .