Automatisierte Modellgenerierung auf Basis formaler Anforderungsbeschreibung als Teil der Testautomatisierung (German)
- New search for: Magnus, Stephan
- New search for: Krause, Jan
- New search for: Magnus, Stephan
- New search for: Krause, Jan
In:
Beschreibungsmittel, Methoden, Werkzeuge und Anwendungen, EKA, Fachtagung Entwurf komplexer Automatisierungssysteme, 13
;
1-11
;
2014
-
ISBN:
- Conference paper / Storage medium
-
Title:Automatisierte Modellgenerierung auf Basis formaler Anforderungsbeschreibung als Teil der Testautomatisierung
-
Contributors:Magnus, Stephan ( author ) / Krause, Jan ( author )
-
Published in:
-
Publisher:
- New search for: Institut für Automation und Kommunikation ifak
-
Place of publication:Magdeburg
-
Publication date:2014
-
Size:11 Seiten, Bilder, Quellen
-
Remarks:(nicht paginiert)
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Storage medium
-
Language:German
-
Keywords:
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Entwicklung intelligenter Mobilitätsdienste im realen Verkehrsumfeld in der Anwendungsplattform Intelligenten MobilitätSchnieder, Lars / Lemmer, Karsten et al. | 2014
- 1
-
Interdisziplinärer Produktlinienansatz zur Unterstützung der Wiederverwendbarkeit im Maschinen- und AnlagenbauFuchs, Julia / Legat, Christoph / Kernschmidt, Konstantin / Frank, Timo / Vogel-Heuser, Birgit et al. | 2014
- 1
-
Analyse und Überwachung des Zeitverhaltens von Funktionsabläufen in einem verteilten AutomatisierungssystemDiekhake, Patrick / Schnieder, Eckehard et al. | 2014
- 1
-
Modellierung von parallelen und verteilten Systemen mit domänenspezifischen SprachenBreer, Andreas / Veltink, Gerrit Jan et al. | 2014
- 1
-
Analyse von Anforderungen an Software-Systeme zum SteuerungsentwurfLüder, Arndt / Schmidt, Nicole / Steiniger, Heinrich / Biffl, Stefan et al. | 2014
- 1
-
Ein einheitliches Prozedurbeschreibungsmodell als Basis der domänenübergreifenden VerständigungSchüler, Andreas / Epple, Ulrich et al. | 2014
- 1
-
Potenziale einer integrierten Modellierung von Geschäftsprozessen und Kommunikationsereignissen für den Betriebsfunk im ÖPNVSchnieder, Lars / Wermser, Diederich / Renz, Annika et al. | 2014
- 1
-
Qualitätsbasierte Testfallpriorisierung mithilfe von SoftwareagentenAbele, Sebastian / Bordasch, Manuel / Göhner, Peter et al. | 2014
- 1
-
Semantic Industry: Herausforderungen auf dem Weg zur rechnergestützten Informationsverarbeitung der Industrie 4.0Grützner, Jens / Höme, Stephan / Diedrich, Christian et al. | 2014
- 1
-
Komplexe Netzwerke zur Modellierung und Analyse von Anlagen: Qualitative Detektion des Inverse-Response-Verhaltens von Systemen höherer OrdnungGeiger, Andreas / Kroll, Andreas et al. | 2014
- 1
-
Zuverlässigkeitsmodellierung rechnerbasierter Sicherheitsleittechnik unter Berücksichtigung von gemeinsam verursachten AusfallenGu, Chunlei / Krause, Ulrich / Ding, Yongjian et al. | 2014
- 1
-
Eingliederung von Assistenzsystemen auf ContainerbrückeSchäfer, stephan / Schöttke, Dirk / Kämpfe, Thomas / Berger, Ulrich et al. | 2014
- 1
-
Gestaltung von Serviceschnittstellen zur energieorientierten Prozessbewertung/-führung einer ContainerbrückeSchäfer, stephan / Schöttke, Dirk / Kämpfe, Thomas / Berger, Ulrich et al. | 2014
- 1
-
Konzept zur funktionsorientierten systematischen Wiederverwendung im Engineering automatisierter Anlagen der ProzessindustrieSchröck, Sebastian / Zimmer, Florian / Fay, Alexander / Jäger, Florian et al. | 2014
- 1
-
Komplexe, verteilte Steuerung hybrider EnergiesystemeSkaff, Ibrahim / Frenzel, Toni / Müller, Christian / Rehkopf, Andreas et al. | 2014
- 1
-
Begrifflichkeiten um Industrie 4.0 - Ordnung im SprachwirrwarrPfrommer, Julius / Schleipen, Miriam / Usländer, Thomas / Epple, Ulrich / Heidel, Roland / Urbas, Leon / Sauer, Olaf / Beyerer, Jürgen et al. | 2014
- 1
-
Validierung von Steuerungscode fertigungstechnischer Anlagen mit Hilfe automatisch generierter SimulationsmodellePuntel Schmidt, Philipp / Fay, Alexander / Riediger, Willi / Schulte, Thomas / Köslin, Fabian / Diehl, Stephan et al. | 2014
- 1
-
Automatisierte Modellgenerierung auf Basis formaler Anforderungsbeschreibung als Teil der TestautomatisierungMagnus, Stephan / Krause, Jan et al. | 2014
- 1
-
Einheitliche Parameterverwaltung mechatronischer Komponenten im Software-Engineering des Maschinen- und AnlagenbausAicher, Thomas / Legat, Christoph / Vogel-Heuser, Birgit et al. | 2014
- 1
-
Regelbasierte Erstellung von Topologie-Modellen im Kontext der "Automatisierung der Automatisierung"Christiansen, Lars / Hoernicke, Mario / Fay, Alexander et al. | 2014
- 1
-
Konzepte für Internet-basierte Komponenten von SCADA-Systemen zur Prozessüberwachung von dezentralen Anlagen der kommunalen WasserwirtschaftSuchold, Nico et al. | 2014