@inbook{28970, author = {{Grimminger-Seidensticker, Elke}}, booktitle = {{Bildung und Bewegung im Schulsport}}, editor = {{Laging, R. and Pott-Klindworth, M.}}, pages = {{151--159}}, publisher = {{Afra}}, title = {{{Förderung eines konstruktiven Umgangs mit Fremdheit im Schulsport – Skizze einer empirischen Schulsportstudie}}}, year = {{2005}}, } @article{55818, author = {{Kepper, Johannes}}, journal = {{Jahrbuch für Computerphilologie}}, pages = {{7–26}}, title = {{{Zum möglichen Einsatz digitaler Editionsformen bei Musiker-Gesamtausgaben am Beispiel des Edirom-Projekts}}}, volume = {{7}}, year = {{2005}}, } @inbook{37205, author = {{Weber, Jutta}}, booktitle = {{Blätter für Technikgeschichte Heft 66/67}}, pages = {{239--261}}, title = {{{Vom ‚Teufel der Unordnung‘ zum Engel des Rauschens. Kontroll- und Rationalitätsformen in Mensch-Maschine-Systemen}}}, year = {{2005}}, } @article{37202, author = {{Wallmeier, Nadine}}, journal = {{Korrespondenzblatt des Vereins für niederdeutsche Sprachforschung}}, number = {{2}}, pages = {{50--51}}, title = {{{Mittelniederdeutsche Fachsprache des Rechts}}}, volume = {{112}}, year = {{2005}}, } @inbook{37206, author = {{Weber, Jutta and Becker, Barbara}}, booktitle = {{Unbestimmtheitssignaturen der Technik. Eine neue Deutung der technisierten Welt}}, editor = {{Gamm, Gerhard and Hetzel, Andreas}}, pages = {{219--232}}, publisher = {{transcript}}, title = {{{Verkörperte Kognition und die Unbestimmtheit der Welt. Mensch-Maschine-Beziehungen in der Neueren KI}}}, year = {{2005}}, } @inproceedings{37211, author = {{Weber, Jutta}}, booktitle = {{Proceedings of the Symposium on Robot Companions: Hard Problems and Open Challenges in Robot-Human Interaction. AISB 2005 Convention Social Intelligence and Interaction in Animals, Robots and Agents at the University of Hertfordshire, Hatfield, UK, 12-15th April 2005}}, pages = {{121--125}}, title = {{{Ontological and Anthropological Dimensions of Social Robotics}}}, year = {{2005}}, } @inbook{37208, author = {{Weber, Jutta}}, booktitle = {{Materialität denken. Studien zur technowissenschaftlichen Verkörperung}}, editor = {{Bath, Corinna and Bauer, Yvonne and Bock von Wülfingen, Bettina and Saupe, Angelika and Weber, Jutta}}, pages = {{59--84}}, publisher = {{transcript}}, title = {{{Die Produktion des Unerwarteten. Materialität und Körperpolitik in der neueren Künstlichen Intelligenz}}}, year = {{2005}}, } @inbook{37212, author = {{Weber, Jutta and Bath, Corinna}}, booktitle = {{The Gender Politics of ICT}}, editor = {{Archibald, Jacqueline and Emms, Judy and Grundy, Frances and Payne, Janet and Turner, Eva}}, publisher = {{Middlesex University Press}}, title = {{{‚Social‘ Robots & ‚Emotional‘ Software Agents: Gendering Processes and De-gendering Strategies for ‚Technologies in the Making‘}}}, year = {{2005}}, } @inbook{37207, author = {{Weber, Jutta and Bath, Corinna and Bauer, Yvonne and Bock von Wülfingen, Bettina and Saupe, Angelika}}, booktitle = {{Materialität denken. Studien zur technowissenschaftlichen Verkörperung}}, editor = {{Bath, Corinna and Bauer, Yvonne and Bock von Wülfingen, Bettina and Saupe, Angelika and Weber, Jutta}}, pages = {{9--30}}, publisher = {{transcript}}, title = {{{Materialität denken. Positionen und Werkzeuge}}}, year = {{2005}}, } @article{37210, author = {{Weber, Jutta}}, journal = {{Journal of Information, Communication and Ethics in Society. Vol. 3, Issue 4, Paper 6}}, pages = {{209--218}}, title = {{{Helpless Machines and True Loving Caregivers. A Feminist Critique of Recent Trends in Human-Robot Interaction}}}, year = {{2005}}, } @inproceedings{37213, author = {{Weber, Jutta and Bath, Corinna}}, booktitle = {{Dokumentation des 30. Kongresses von Frauen in Naturwissenschaft und Technik 2004 in Zürich}}, title = {{{Sozialität mit Maschinen. Oder: Wie kommt Geschlecht in Softwareagenten und Roboter hinein}}}, year = {{2005}}, } @inbook{34918, author = {{Uhde, André}}, booktitle = {{Globale Wirtschaft u. nationale Verantwortung, Forschungsergebnisse im Überblick, X. Kongress „Junge Wissenschaft und Wirtschaft“ der Hanns Martin Schleyer-Stiftung}}, editor = {{Bruncken, W. and Fenz, B.}}, pages = {{224--225}}, publisher = {{Hanns Martin Schleyer-Stiftung}}, title = {{{Diskussion von Ordnungsrahmen einer zukünftigen internationalen Bankenregulierung}}}, year = {{2005}}, } @article{27904, author = {{Methfessel, B. and Bigga, Regine}}, journal = {{Schlussbericht, REVIS – Reform der Ernährungs- und Verbraucherbildung in Schulen. }}, title = {{{Kooperationsprojekt REVIS: Länderbericht Baden-Württemberg. }}}, year = {{2005}}, } @book{27903, author = {{Bigga, Regine}}, title = {{{Bildungsstandards. Eine Diskussion um Arbeitslehre - Haushalt - Technik - Textilarbeit - Wirtschaft}}}, year = {{2005}}, } @book{37588, editor = {{Weber, Jutta and Bath, Corinna and Bauer, Yvonne and Bock von Wülfingen, Bettina and Saupe, Angelika}}, publisher = {{transcript}}, title = {{{Materialität denken. Studien zur technologischen Verkörperung}}}, year = {{2005}}, } @inproceedings{39029, abstract = {{UML 2.0 provides a rich set of diagrams for systems documentation and specification. Much effort has been undertaken to employ different aspects of UML for multiple domains, mainly in the area of software systems. Considering the area of electronic design automation, however, we currently see only very few approaches which investigate UML for hardware design and hardware/software co-design. We present an approach for executable UML closing the gap from system specification to its model-based execution on reconfigurable hardware. For this purpose, we present our abstract execution platform (AEP), which is based on a virtual machine running an executable UML subset for embedded software and reconfigurable hardware. This subset combines UML 2.0 classes, state-machines and sequence diagrams for a complete system specification. We describe how these binary encoded UML specifications can be directly executed and give the implementation of such a virtual machine on a Virtex II FPGA. Finally, we present evaluation results comparing the AEP implementation with C code on a C167 microcontroller.}}, author = {{Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}}, booktitle = {{Proceedings of DATE’05}}, isbn = {{0-7695-2288-2}}, keywords = {{Hardware, Unified modeling language, Virtual machining, Object oriented modeling, Field programmable gate arrays, Java, Microcontrollers, Embedded software, Real time systems, Documentation}}, publisher = {{IEEE}}, title = {{{A Model-Based Approach for Executable Specification on Reconfigurable Hardware}}}, doi = {{10.1109/DATE.2005.20}}, year = {{2005}}, } @inproceedings{39030, abstract = {{StateCharts are well accepted for embedded systems specification for various applications. However, for the specification of complex systems they have several limitations. In this article, we present a novel approach to efficiently execute an UML 2.0 subset for embedded real- time systems implementation with focus on hardware interrupts, software exceptions, and timeouts. We introduce a UML Virtual Machine, which directly executes sequence diagrams, which are embedded into hierarchically structured state transition diagrams. Whereas state diagrams are directly executed as Embedded State Machines (ESMs), sequence diagrams are translated into UVM Bytecode. The final UVM execution is performed by the interaction of the ESM and the Bytecode Interpreter. Due to our completely model- based approach, the UVM runtime kernel is easily adaptable and scalable to different scheduling and memory management strategies.}}, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of ISNG 05}}, keywords = {{UML, Executable Models, Hardware/Software Co-design, Virtual Machine, Embedded Systems}}, title = {{{A UML Virtual Machine for Embedded Systems}}}, year = {{2005}}, } @inproceedings{39032, abstract = {{Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML state machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such state machines can be represented using a small subset of the UML state machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution.}}, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of VL/HCC 05}}, isbn = {{0-7695-2443-5}}, keywords = {{Unified modeling language, Software design, Virtual machining, Embedded system, Programming, Documentation, Hardware, Computer languages, Operating systems, Runtime}}, title = {{{Transformation of UML State Machines for Direct Execution}}}, doi = {{10.1109/VLHCC.2005.64}}, year = {{2005}}, } @inproceedings{39036, author = {{Krupp, Alexander and Müller, Wolfgang}}, title = {{{Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme}}}, year = {{2005}}, } @inproceedings{39038, author = {{Krupp, Alexander and Müller, Wolfgang}}, title = {{{Modelchecking von Klassifikationsbaum-Testsequenzen}}}, year = {{2005}}, }