Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 91 bis 100 von 504
  1. Mathias Soeken; Robert Wille; Eugen Kuksa; Rolf Drechsler

    Generierung von OCL-Ausdrücken aus natürlichsprachlichen Beschreibungen

    In: 16. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen". ITG/GMM/GI-Workshop …

  2. Jana-Rebecca Rehse; Peter Fettke; Peter Loos

    Eine Untersuchung der Potentiale automatisierter Abstraktionsansätze für Geschäftsprozessmodelle im Hinblick auf die induktive Entwicklung von Referenzprozessmodellen

    In: Rainer Alt; Bogdan Franczyk (Hrsg.). Proceedings of the 11th International Conference on Wirtschaftsinformatik. Internationale Tagung …

  3. Rolf Drechsler; Daniel Große; Hoang M. Le; André Sülflow

    Synchronized Debugging across Different Abstraction Levels in System Design

    In: Embedded World Conference 2013. Embedded World Conference, February 26-28, Nuremberg, Germany, 2013.

  4. Julian Krumeich; Dirk Werth; Peter Loos

    Nutzung des Viewpoint-Konzepts zur Unterstützung kollaborativer Modellierung – Konzeption und prototypische Implementierung

    In: Rainer Alt; Bogdan Franczyk (Hrsg.). Proceedings of the 11th International Conference on Wirtschaftsinformatik. Internationale Tagung …

  5. Tobias Gerber; Charlotta Johnsson

    Vertical Integration of Decision-Relevant Production Information into IT systems of Manufacturing Companies

    In: Theodor Borangiu; André Thomas; Damien Trentesaux. Service Orientation in Holonic and Multi Agent Manufacturing and Robotics. Chapter 10, Vol. …

  6. Rolf Drechsler; Ian Harris; Ecker Wolfgang; Rainer Findenig; Robert Wille

    Design and Verification of Embedded Systems from Natural Language Descriptions

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.

  7. Julia Seiter; Robert Wille; Mathias Soeken; Rolf Drechsler

    Determining Relevant Model Elements for the Verification of UML/OCL Specifications

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.

  8. Robert Wille; Martin Gogolla; Mathias Soeken; Mirco Kuhlmann; Rolf Drechsler

    Towards a Generic Verification Methodology for System Models

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.

  9. Hoang M. Le; Daniel Große; Rolf Drechsler

    Scalable Fault Localization for SystemC TLM Designs

    In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.

  10. Constantin Houy; Armella-Lucia Vella; Tom Thaler; Peter Fettke; Peter Loos

    Analyse des Qualitätsdiskurses zur Modellverständlichkeit in experimentellen Studien

    In: Rainer Alt; Bogdan Franczyk (Hrsg.). Proceedings of the 11th International Conference on Wirtschaftsinformatik. Internationale Tagung …