TY - CHAP AU - Steigerwald, Jörn ED - Montandon, Alain ID - 32767 T2 - Les baisers des lumièresc TI - Le baiser galant: approche d’une configuration érotique de l’esthétique galante ER - TY - CHAP AU - Steigerwald, Jörn ED - Nünning, Ansgar ID - 32782 T2 - Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125 TI - Lemma Kulturtransfer ER - TY - CHAP AU - Steigerwald, Jörn ID - 32720 T2 - Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit TI - Encyclopédie der Sexualpathologie ER - TY - BOOK ED - Steigerwald, Jörn ID - 32620 TI - Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit ER - TY - CHAP AU - Zierau, Cornelia ED - Durzak, Manfred ED - Kuruyazıcı, Nilüfer ID - 33788 T2 - Die andere Deutsche Literatur TI - Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist eine Karawanserei ER - TY - JOUR AU - Zierau, Cornelia ID - 33789 JF - Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul) TI - Bericht über eine Studienreise ER - TY - CHAP AB - This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles. AU - Flake, Stephan AU - Müller, Wolfgang AU - Pape, Ulrich AU - Ruf, Jürgen ED - Ehrig, Hartmut ED - Damm, Werner ED - Desel, Jörg ED - Große-Rhode, Martin ED - Reif, Wolfgang ED - Schnieder, Eckehard ED - Westkämper, Engelbert ID - 33825 KW - Model Check KW - Temporal Logic KW - Object Constraint Language KW - Abstract Syntax KW - Temporal Logic Formula SN - 978-3-540-27863-4 T2 - Integration of Software Specification Techniques for Applications in Engineering TI - Specification and Formal Verification of Temporal Properties of Production Automation Systems VL - 3147 ER - TY - CHAP AU - Schattkowsky, Tim AU - Müller, Wolfgang AU - Pawlak, Adam ED - Fischer, Layna ID - 33827 SN - 0970350961 T2 - Workflow Handbook 2004 TI - Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering ER - TY - CHAP AU - Krupp, Alexander AU - Müller, Wolfgang ED - Mermet, J. ID - 33830 SN - 1-4020-2866-0 T2 - UML-B System Specification for Proven Electronic Design TI - Refinement of Finite State Machines with Complementary Model Checking ER - TY - CHAP AU - Krupp, Alexander AU - Müller, Wolfgang AU - Oliver, Ian ED - Grimm, Ch. ID - 33829 SN - 978-1-4020-7991-7 T2 - Best of FDL'03 TI - Combining Formal Refinement and Model Checking for Analysis of Realtime Systems ER -