DOCSLIB.ORG

Modellierung2018-Konferenzband.Pdf

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl (Hrsg.) Modellierung 2018 21.02.2018 – 23.02.2018 Braunschweig, Deutschland Gesellschaft für Informatik e.V. (GI) Lecture Notes in Informatics (LNI) - Proceedings Series of the Gesellschaft für Informatik (GI) Volume P-280 ISBN 978-3-88579-674-9 ISSN 1617-5468 Volume Editors Prof. Dr.-Ing. Ina Schaefer TU Braunschweig Mühlenpfordtstr. 23, 38106 Braunschweig [email protected] o. Univ.-Prof. Dr. Dimitris Karagiannis Universität Wien Währinger Straße 29, 1090 Wien [email protected] Series Editorial Board Heinrich C. Mayr, Alpen-Adria-Universität Klagenfurt, Austria (Chairman, [email protected]) Torsten Brinda, Universität Duisburg-Essen, Germany Dieter Fellner, Technische Universität Darmstadt, Germany Ulrich Flegel, Infineon, Germany Ulrich Frank, Universität Duisburg-Essen, Germany Michael Goedicke, Universität Duisburg-Essen, Germany Ralf Hofestädt, Universität Bielefeld, Germany Wolfgang Karl, KIT Karlsruhe, Germany Michael Koch, Universität der Bundeswehr München, Germany Thomas Roth-Berghofer, University of West London, Great Britain Peter Sanders, Karlsruher Institut für Technologie (KIT), Germany Andreas Thor, HFT Leipzig, Germany Ingo Timm, Universität Trier, Germany Karin Vosseberg, Hochschule Bremerhaven, Germany Maria Wimmer, Universität Koblenz-Landau, Germany Dissertations Steffen Hölldobler, Technische Universität Dresden, Germany Thematics Andreas Oberweis, Karlsruher Institut für Technologie (KIT), Germany Gesellschaft für Informatik, Bonn 2018 printed by Köllen Druck+Verlag GmbH, Bonn This book is licensed under a Creative Commons BY-SA 4.0 licence. Vorwort Die derzeit im zweijährigen Rhythmus stattfindende Fachtagung „Modellierung“ ist eine Plattform zur inhaltlichen Diskussion für eine große Anzahl von Fachgruppen in der Gesellschaft für Informatik (GI), die sich mit unterschiedlichsten Perspektiven des Themas Modellierung beschäftigen. Sie stellt somit ein zentrales Forum für den Erfahrungsaustausch zu akademischen wie auch praxisbezogenen Modellierungsansätzen dar. Die Fachtagung „Modellierung“ umfasst traditionell ein wissenschaftliches Programm begleitet durch Workshops, Tutorien, Praxisforum, sowie ein Doktorandensymposium und die Präsentation von Tools/Demos. Dabei dienen die Workshops dazu, Spezialthemen der Modellierung im Detail zu beleuchten, während in den Tutorien praktische Anwendungen aktueller Modellierungsansätze vorgestellt werden. Den Tutoriums- Teilnehmerinnen und -Teilnehmern wird dadurch die Möglichkeit eröffnet, nicht nur einen theoretischen Einblick in die Modellierung zu bekommen, sondern den Einsatz der entsprechenden Werkzeuge und Methoden auch in Aktion zu erleben. Abgerundet wird das Programm durch ein Praxisforum zur Vorstellung der Anwendung und Umsetzung von Modellierungsmethoden, -techniken und -werkzeugen in der betrieblichen Praxis sowie ein Doktorandensymposium zur Vorstellung von aktuellen Dissertationsvorhaben. Eine Fokussierung auf die Präsentation von innovativen Werkzeugen wird seit 2016 in dem Tools/Demos Bereich gegeben. Für das wissenschaftliche Programm der Modellierung 2018 wurden von insgesamt 24 Einreichungen die besten 13 Beiträge ausgewählt. Dies entspricht einer Annahmequote von 54%. Jede Einreichung wurde von drei GutachterInnen evaluiert. Die akzeptierten Beiträge behandeln aktuelle wissenschaftliche Erkenntnisse zu einer breiten Palette von Themen in den Bereichen Modellierungssprachen, -methoden und -ansätze, Prozessmanagement, sowie zur Modellierung im Software- und System-Engineering. Im Rahmen der diesjährigen Tagung finden zwei eingeladene Vorträge statt: Prof. Dr. Andy Schürr (TU Darmstadt) spricht über die korrekte Entwicklung von Algorithmen für die Adaption von Netzwerktopologien und Nikolaus Regnat (Siemens AG) berichtet über die Verwendung von Modellierungssprachen, wie SysML in der industriellen Praxis. Wir danken allen Autoren für ihre Beiträge und den Mitgliedern des Programmkomitees und den weiteren Gutachterinnen und Gutachtern für die Begutachtung. Weiterhin bedanken wir uns bei allen Beteiligten aus dem Organisationsteam. Braunschweig, im Februar 2018 Ina Schaefer, TU Braunschweig Dimitris Karagiannis, Universität Wien Christoph Seidl, TU Braunschweig Sponsoren Wir danken den folgenden Unternehmen und Institutionen für die Unterstützung der Konferenz. Querschnittsfachausschuss Modellierung Die Plattform der GI zur Diskussion und zum Erfahrungsaustausch über aktuelle und zukünftige Themen der Modellierungsforschung . Beteiligte GI-Gliederungen: EMISA, Entwicklungsmethoden für Informationssysteme und deren Anwendung FoMSESS Formale Methoden und Modellierung für SichereSysteme ILLS Intelligente Lehr- und Lernsysteme MMB Messung, Modellierung und Bewertung von Rechensystemen OOSE, Objektorientierte Software-Entwicklung PN Petrinetze RE Requirements Engineering ST Softwaretechnik SWA Softwarearchitektur WI-MobIS Informationssystem-Architektur: Modellierung betrieblicher Informationssysteme WI-VM Vorgehensmodelle für die Betriebliche Anwendungsentwicklung WM/KI Wissensmanagement Tagungsleitung Gesamtleitung: Ina Schaefer, TU Braunschweig Leitung des Programmkomitees: Dimitris Karagiannis, Universität Wien Leitung der Organisation: Christoph Seidl, TU Braunschweig Praxisforum: Andreas Vogelsang, TU Berlin Daniel Méndez Fernández, TU München Workshops: Leok Cleophas, TU Eindhoven Michael Felderer, Universität Innsbruck Tutorien: Malte Lochau, TU Darmstadt Timo Kehrer, HU Berlin Tools & Demos: Hans-Georg Fill, Universität Wien Agnes Koschmider, Karlsruher Institut für Technologie Lokale Organisation: Michael Nieke, TU Braunschweig Sven Schuster, TU Braunschweig Programmkomitee Jörg Desel Fernuniversität in Hagen Jürgen Ebert Universität Koblenz Gregor Engels Universität Paderborn Ulrich Frank Universität Duisburg-Essen Holger Giese Hasso-Plattner-Institut Potsdam Martin Glinz Universität Zürich Jan Jürjens TU Dortmund & Fraunhofer ISST Gerti Kappel Technische Universität Wien Thomas Kuehne Victoria University of Wellington Florian Matthes Technische Universität München Heinrich C. Mayr Alpen-Adria-Universität Klagenfurt Jan Mendling Wirtschaftsuniversität Wien Günther Müller-Luschnat iteratec GmbH Friedericke Nickl Swiss Life Markus Nüttgens Universität Hamburg Andreas Oberweis Karlsruher Institut für Technologie Sven Overhage Universität Bamberg Barbara Paech Universität Heidelberg Henderik Proper Luxembourg Institute of Science and Technology Ulrich Reimer Fachhochschule St. Gallen Wolfgang Reisig Humboldt-Universität zu Berlin Anne Remke Universität Münster Matthias Riebisch Universität Hamburg Bernhard Rumpe RWTH Aachen Andy Schürr TU Darmstadt Elmar J. Sinz Universität Bamberg Friedrich Steimann Fernuniversität in Hagen Stefan Strecker Fernuniversität in Hagen Bernhard Thalheim Christian-Albrechts-Universität Kiel Mathias Weske HPI, Universität Potsdam Inhaltsverzeichnis Eingeladene Vorträge Andy Schürr Graph-Transformation-Driven Correct-by-Construction Development of Communication System Topology Adaptation Algorithms . 15 Nikolaus Regnat Why SysML does often fail – and possible solutions . 17 Wissenschaftliche Beiträge Julian Dörndorfer, Christian Seel A Framework to Model and Implement Mobile Context-Aware Business Applications ................................. 23 Stefan Tomaszek, Erhan Leblebici, Lin Wang, Andy Schürr Model-driven Development of Virtual Network Embedding Algorithms . 39 Benedikt Pittl, Hans-Georg Fill Transforming Enterprise Models to Linked Data . 55 Zoltán Ádám Mann, Andreas Metzger, Stefan Schoenen Towards a run-time model for data protection in the cloud . 71 Ralf Laue Nutzung von Bilddatenbanken zur Erstellung von Symbolen . 87 Andreas Grosche, Burkhard Igel, Olaf Spinczyk Exploiting Modular Language Extensions in Legacy C Code . 103 Tobias Wägemann, Ramin Tavakoli Kolagari, Klaus Schmid Optimal Product Line Architectures for the Automotive Industry . 119 Khanh-Hoang Doan, Marti Gogolla Extending a UML and OCL Tool for Meta-Modeling . 135 Alexander Rauh, Wolfgang Golubski, Stefan Queins Measuring the Quality of System Specifications in Use Case Driven Approaches ................................. 151 Daniel Gritzner, Joel Greenyer Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications ................................ 167 Dilshod Kuryazov, Andreas Winter, Ralf Reussner Collaborative Modeling enabled by Versioning . 183 Peter de Lange, Petru Nicolaescu, Thomas Winkler, Ralf Klamma Enhancing MDWE with Collaborative Live Coding . 199 Tilmann Stehle, Matthias Riebisch Modellierung plattformübergreifender Quellcode-Entsprechungen für die koordinierte Co-Evolution portierter Software-Systeme . 215 Praxisforum – Eingeladene Industriebeiträge Harald Störrle Implementing Knowledge Management in Agile Projects by Pragmatic Modeling .................................. 233 Markus Grabowski, Bernhard Kaiser, Yu Bai Systematic Refinement of CPS Requirements . 245 Oscar Slotosch, Mohammad Abu-Alqumsan Modeling and Safety-Certification of Model-based Development Processes 261 Christian Reuter Controlled Complexity for Future Mobility – Methodology, Guidelines and Tooling ................................... 275 Daniel Ratiu, Holger Nehls, Robert Walter, Jochen Michel Taming the Software Development Complexity with Domain Specific Languages .................................. 281 Tutorials Thomas Thüm, Sebastian Krieter, Thomas Leich Feature Modeling and Development with FeatureIDE . 297 Daniel
Recommended publications
  • Harmoneerituks Tunnistatud Standardid

    Harmoneerituks Tunnistatud Standardid

    12/2015 Ilmub üks kord kuus alates 1993. aastast Uued Eesti standardid Standardikavandite arvamusküsitlus Asendatud või tühistatud Eesti standardid Algupäraste standardite koostamine ja ülevaatus Standardite tõlked kommenteerimisel Uued harmoneeritud standardid Standardipealkirjade muutmine Uued eestikeelsed standardid ISSN 1406-0698 Avaldatud 03.12.2015 SISUKORD UUED, PEATATUD JA LÕPETATUD KOMITEED……………………………………………………..2 UUED STANDARDID JA STANDARDILAADSED DOKUMENDID ......................................... 3 ASENDATUD VÕI TÜHISTATUD EESTI STANDARDID JA STANDARDILAADSED DOKUMENDID ....................................................................................................................... 48 STANDARDIKAVANDITE ARVAMUSKÜSITLUS .................................................................. 69 TÕLKED KOMMENTEERIMISEL ........................................................................................ 104 ALGUPÄRASTE STANDARDITE JA STANDARDILAADSETE DOKUMENTIDE KOOSTAMINE ..................................................................................................................... 108 STANDARDITE JA STANDARDILAADSETE DOKUMENTIDE ÜLEVAATUS .................... 109 ALGUPÄRASTE STANDARDITE KEHTIVUSE PIKENDAMINE ......................................... 110 TÜHISTAMISKÜSITLUS ...................................................................................................... 111 TEADE EUROOPA STANDARDI OLEMASOLUST ............................................................. 113 UUED EESTIKEELSED STANDARDID JA STANDARDILAADSED
  • ISO 7001:2007 26206E8684e6/Iso-7001-2007

    ISO 7001:2007 26206E8684e6/Iso-7001-2007

    INTERNATIONAL ISO STANDARD 7001 Third edition 2007-11-01 Graphical symbols — Public information symbols Symboles graphiques — Symboles destinés à l'information du public iTeh STANDARD PREVIEW (standards.iteh.ai) ISO 7001:2007 https://standards.iteh.ai/catalog/standards/sist/c9c6130e-5cf6-4375-a9a6- 26206e8684e6/iso-7001-2007 Reference number ISO 7001:2007(E) © ISO 2007 ISO 7001:2007(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobe's licensing policy. The ISO Central Secretariat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below. iTeh STANDARD PREVIEW (standards.iteh.ai) ISO 7001:2007 https://standards.iteh.ai/catalog/standards/sist/c9c6130e-5cf6-4375-a9a6- 26206e8684e6/iso-7001-2007 COPYRIGHT PROTECTED DOCUMENT © ISO 2007 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying and microfilm, without permission in writing from either ISO at the address below or ISO's member body in the country of the requester.
  • Comparative Studies of 10 Programming Languages Within 10 Diverse Criteria Revision 1.0

    Comparative Studies of 10 Programming Languages Within 10 Diverse Criteria Revision 1.0

    Comparative Studies of 10 Programming Languages within 10 Diverse Criteria Revision 1.0 Rana Naim∗ Mohammad Fahim Nizam† Concordia University Montreal, Concordia University Montreal, Quebec, Canada Quebec, Canada [email protected] [email protected] Sheetal Hanamasagar‡ Jalal Noureddine§ Concordia University Montreal, Concordia University Montreal, Quebec, Canada Quebec, Canada [email protected] [email protected] Marinela Miladinova¶ Concordia University Montreal, Quebec, Canada [email protected] Abstract This is a survey on the programming languages: C++, JavaScript, AspectJ, C#, Haskell, Java, PHP, Scala, Scheme, and BPEL. Our survey work involves a comparative study of these ten programming languages with respect to the following criteria: secure programming practices, web application development, web service composition, OOP-based abstractions, reflection, aspect orientation, functional programming, declarative programming, batch scripting, and UI prototyping. We study these languages in the context of the above mentioned criteria and the level of support they provide for each one of them. Keywords: programming languages, programming paradigms, language features, language design and implementation 1 Introduction Choosing the best language that would satisfy all requirements for the given problem domain can be a difficult task. Some languages are better suited for specific applications than others. In order to select the proper one for the specific problem domain, one has to know what features it provides to support the requirements. Different languages support different paradigms, provide different abstractions, and have different levels of expressive power. Some are better suited to express algorithms and others are targeting the non-technical users. The question is then what is the best tool for a particular problem.
  • HZN Oglasnik Za Normativne Dokumente 5

    HZN Oglasnik Za Normativne Dokumente 5

    Hrvatski zavod za norme Oglasnik za normativne dokumente 5/2014 listopad, 2014. Oglasnik za normativne dokumente Hrvatskog zavoda za norme sadrži popise hrvatskih norma, nacrta hrvatskih norma, prijedloga za prihvaćanje stranih norma u izvorniku, povučene hrvatske norme, povučene nacrte hrvatskih norma te ispravke, rezultate europske i međunarodne normizacije razvrstane po predmetnom ustroju i obavijesti HZN-a. Tko u popisima normativnih dokumenata koji su objavljeni u ovom Oglasniku otkrije koju grešku, koja može voditi do krive primjene, moli se da o tome neodložno obavijesti Hrvatski zavod za norme, kako bi se mogli otkloniti uočeni propusti. Izdavač: Sadržaj: 1 Rezultati hrvatske normizacije 2 Rezultati međunarodne i europske 1.1 Hrvatske norme ............................................................ A3 normizacije razvrstani po predmetnom 1.2 Nacrti hrvatskih norma ............................................... A42 ustroju .................................................A83 1.3 Prijedlozi za prihvaćanje stranih norma u izvorniku ... A42 3 Popis radnih dokumenata Codex 1.4 Povučene hrvatske norme.......................................... A66 Alimentariusa 1.5 Povučeni nacrti hrvatskih norma ....................................... 4 Obavijesti HZN-a 1.6 Ispravci hrvatskih norma .............................................A79 4.1 Cjenik hrvatskih norma 1.7 Naslovi objavljenih hrvatskih norma na hrvatskome jeziku........................................................A82 1.8 Drugi normativni dokumenti 1.9 Opća izdanja HZN-a 1.10 Prijevodi hrvatskih normativnih dokumenata ...............A83 A2 HZN - Oglasnik za normativne dokumente 5/2014 • Rezultati hrvatske normizacije Rezultati hrvatske normizacije HZN/TO 21, Protupožarna i vatrogasna oprema HRN EN 694:2014 en pr 1.1 Hrvatske norme Vatrogasne cijevi – Polukrute cijevi za stabilne Temeljem Zakona o normizaciji (Narodne novine 80/2013) sustave (EN 694:2014) hrvatske norme priprema, izdaje i objavljuje Hrvatski zavod za Fire-fighting hoses – Semi-rigid hoses for fixed norme, na prijedlog tehničkih odbora.
  • Standardiseringsprosjekter Og Nye Standarder

    Standardiseringsprosjekter Og Nye Standarder

    Annonseringsdato: 2016-06-29 Listenummer: 13/2016 Standardiseringsprosjekter og nye standarder Listenummer: 13/2016 Side: 1 av 151 01 Generelt. Terminologi. Standardisering. Dokumentasjon 01 Generelt. Terminologi. Standardisering. Dokumentasjon Standardforslag til høring - europeiske (CEN) prEN 303-1 Kjeler for oppvarming - Del 1: Kjeler for oppvarming med mekaniske trekkbrennere - Terminologi, generelle krav, prøving og merking Heating boilers - Part 1: Heating boilers with forced draught burners - Terminology, general requirements, testing and marking Språk: en Kommentarfrist: 2016.07.28 prEN 17018 Railway applications - Rolling Stock Maintenance - Terms and definitions Språk: en Kommentarfrist: 2016.09.16 prEN ISO 13943 Brannsikkerhet - Terminologi (ISO/DIS 13943:2016) Fire safety - Vocabulary (ISO/DIS 13943:2016) Språk: en Kommentarfrist: 2016.07.21 prEN ISO 18369-1 Oftalmisk optikk - Kontaktlinser - Del 1: Terminologi , klassifiseringssystem og anbefalinger for merking av spesifikasjoner (ISO/DIS 18369-1:2016) Ophthalmic optics - Contact lenses - Part 1: Vocabulary, classification system and recommendations for labelling specifications (ISO/DIS 18369-1:2016) Språk: en Kommentarfrist: 2016.07.14 Standardforslag til høring - internasjonale (ISO) ISO 7001:2007/DAmd 96 PI TF 042: Meeting point Språk: en Kommentarfrist: 2016.10.08 ISO 7001:2007/DAmd 97 PI TF 043: Tour group meeting point Språk: en Kommentarfrist: 2016.10.08 ISO 7001:2007/DAmd 98 Symbol PI PF 074: Automatic sensor faucet Språk: en Kommentarfrist: 2016.10.06 ISO 7001:2007/DAmd 99 PI PF 075: Hand dryer Språk: en Kommentarfrist: 2016.10.06 ISO 7001:2007/DAmd 100 PI PF 076: Toilet paper Språk: en Kommentarfrist: 2016.10.06 Listenummer: 13/2016 Side: 2 av 151 01 Generelt. Terminologi. Standardisering.
  • Handling Data Consistency Through Spatial Data Integrity Rules in Constraint Decision Tables

    Handling Data Consistency Through Spatial Data Integrity Rules in Constraint Decision Tables

    Handling Data Consistency through Spatial Data Integrity Rules in Constraint Decision Tables Fei Wang Vollständiger Abdruck von der Fakultät für Bauingenieur- und Vermessungswesen der Universität der Bundeswehr München zur Erlangung des akademischen Grades eines Doktor- Ingenieurs (Dr.-Ing.) genehmigten Dissertation. Vorsitzender: Univ.-Prof. Dr.-Ing. Wilhelm Caspary 1.Berichterstatter: Univ.-Prof. Dr.-Ing. Wolfgang Reinhardt 2.Berichterstatter: Univ.-Prof. Dr.-Ing. Anders Östman Diese Dissertation wurde am 31. Jan. 2008 bei der Universität der Bundeswehr münchen eingereicht. Tag der Mündlichen Prüfung: 13. Mai 2008 2 3 Abstract With the rapid development of the GIS world, spatial data are being increasingly shared, transformed, used and re-used. The quality of spatial data is put in a high priority because spatial data of inadequate quality is of little value to the GIS community. Several main components of spatial data quality were indentified by international standardization bodies such as ISO/TC 211, OGC and FGDC, which consists of seven usual quality elements: lineage, positional accuracy, attribute accuracy, semantic accuracy, temporal accuracy, logical consistency and completeness (two different names for similar aspects of quality are grouped in the same category). In this dissertation our work focuses on the data consistency issue of the spatial data quality components, which involves the logical consistency as well as semantic and temporal aspects. Due to complex geographic data characteristics, various data capture workflows and different data sources, the final large datasets often result in inconsistency, incompleteness and inaccuracy. To reduce spatial data inconsistency and provide users the data of adequate quality, the specification of spatial data consistency requirements should be explicitly described.
  • Technical Workflows and Tools for Experimental Publishing

    Technical Workflows and Tools for Experimental Publishing

    COPIM • Books Contain Multitudes: Exploring Experimental Publishing Part 3: Technical Workows and Tools for Experimental Publishing Marcell Mars, Tobias Steiner, Janneke Adema Published on: Jan 29, 2021 DOI: 10.21428/785a6451.174760b2 License: Creative Commons Attribution 4.0 International License (CC-BY 4.0) COPIM • Books Contain Multitudes: Exploring Experimental Publishing Part 3: Technical Workows and Tools for Experimental Publishing For this third part of the scoping report, we will be looking at the technical developments around experimental book publishing. We will be doing so in a three-fold manner in the next three sections. First, instead of conducting a landscape study ourselves, we will be reviewing a number of studies and resources that have recently been released and that have tried to categorise, analyse, and map the open source publishing tools and platforms currently available to support open access (book) publishing. Our focus in this analysis will predominantly be on those tools and technologies that can support the kinds of experimental publications that we have identified in the first two parts of this scoping report. Secondly, in section 2, we will outline a proposed methodology to analyse and categorise the currently available tools and technologies to support the creation of an online resource for publishers and authors in year 3 of the COPIM project. This online resource will include the technological support and workflows available to enable more experimental forms of book publishing, whilst showcasing examples and best practices for different levels of technical know-how. Thirdly, in section 3, we will make an initial attempt at categorising a selection of tools following this proposed methodology, where we will be focusing on collaborative writing tools and on annotation tools —and the software, platforms, and workflows that support these—in first instance.
  • EG 202 116 V1.2.1 (2002-09) ETSI Guide

    EG 202 116 V1.2.1 (2002-09) ETSI Guide

    ETSI EG 202 116 V1.2.1 (2002-09) ETSI Guide Human Factors (HF); Guidelines for ICT products and services; "Design for All" 2 ETSI EG 202 116 V1.2.1 (2002-09) Reference DEG/HF-00031 Keywords ageing, disability, equipment practice, special needs, terminal ETSI 650 Route des Lucioles F-06921 Sophia Antipolis Cedex - FRANCE Tel.: +33 4 92 94 42 00 Fax: +33 4 93 65 47 16 Siret N° 348 623 562 00017 - NAF 742 C Association à but non lucratif enregistrée à la Sous-Préfecture de Grasse (06) N° 7803/88 Important notice Individual copies of the present document can be downloaded from: http://www.etsi.org The present document may be made available in more than one electronic version or in print. In any case of existing or perceived difference in contents between such versions, the reference version is the Portable Document Format (PDF). In case of dispute, the reference shall be the printing on ETSI printers of the PDF version kept on a specific network drive within ETSI Secretariat. Users of the present document should be aware that the document may be subject to revision or change of status. Information on the current status of this and other ETSI documents is available at http://portal.etsi.org/tb/status/status.asp If you find errors in the present document, send your comment to: [email protected] Copyright Notification No part may be reproduced except as authorized by written permission. The copyright and the foregoing restriction extend to reproduction in all media. © European Telecommunications Standards Institute 2002.
  • Webový Nástroj Pro Kolaborativní Editaci Textů Student: Jiří Šimeček Vedoucí: Ing

    Webový Nástroj Pro Kolaborativní Editaci Textů Student: Jiří Šimeček Vedoucí: Ing

    ZADÁNÍ BAKALÁŘSKÉ PRÁCE Název: Webový nástroj pro kolaborativní editaci textů Student: Jiří Šimeček Vedoucí: Ing. Petr Špaček, Ph.D. Studijní program: Informatika Studijní obor: Webové a softwarové inženýrství Katedra: Katedra softwarového inženýrství Platnost zadání: Do konce letního semestru 2018/19 Pokyny pro vypracování Pro potřeby projektu Laplace-IDE vytvořte v architektuře klient-server prototyp nástroje pro kolaborativní editaci textů s využitím frameworku React JS (klient) a Node JS (server). 1. Seznamte se s technologiemi HTML5, JavaScript, React JS a NodeJS. 2. Navrhněte model uložení textů, model pro uložení informací o uživatelích a model pro editační změnu. 3. Pro účel kolaborativní komunikace vyberte vhodný real-time web protokol. 4. Na základě návrhu implementujte prototyp takového nástroje. 5. Proveďte uživatelské otestování výsledku a vyhodnoťte kvality a nedostatky vašeho řešení. Práce je tématem vypsaným výzkumnou skupinou #CCMi. Seznam odborné literatury Dodá vedoucí práce. Ing. Michal Valenta, Ph.D. doc. RNDr. Ing. Marcel Jiřina, Ph.D. vedoucí katedry děkan V Praze dne 19. prosince 2017 Bakalářská práce Webový nástroj pro kolaborativní editaci textů Jiří Šimeček Katedra softwarového inženýrství Vedoucí práce: Ing. Petr Špaček, Ph.D. 10. května 2018 Poděkování Na tomto místě bych rád poděkoval všem, kteří mi pomohli při tvorbě této práce. V prvé řadě děkuji Ing. Petru Špačkovi, Ph.D., za vededí mé bakalářkské práce. Dále také rodině a nejbližším přátelům za podporu během celé doby tvorby mé práce, ale i celého studia. Prohlášení Prohlašuji, že jsem předloženou práci vypracoval(a) samostatně a že jsem uvedl(a) veškeré použité informační zdroje v souladu s Metodickým pokynem o etické přípravě vysokoškolských závěrečných prací.
  • Simplified in Vitro Engineering of Functional Mammalian Neuromuscular Junctions Between Embryonic Rat Motor Neurons and Immortalised Human Skeletal Muscle Cells

    Simplified in Vitro Engineering of Functional Mammalian Neuromuscular Junctions Between Embryonic Rat Motor Neurons and Immortalised Human Skeletal Muscle Cells

    Simplified In Vitro Engineering of Functional Mammalian Neuromuscular Junctions between Embryonic Rat Motor Neurons and Immortalised Human Skeletal Muscle Cells JASDEEP SAINI A thesis submitted in partial fulfilment of the requirements of Manchester Metropolitan University for the degree of Doctor of Philosophy Department of Life Sciences Manchester Metropolitan University 2019 Table of Contents i Acknowledgements iv Publications v List of Abbreviation vi List of Figures x List of Tables xiii Abstract xiv Chapter 1: Introduction 1.0 Myogenesis 1 1.0.0 Embryonic Myogenesis 1 1.0.1 Adult Myogenesis 4 1.1 Skeletal Muscle 7 1.1.0 Anatomy 7 1.1.1 Skeletal Muscle Fibres 9 1.1.2 Skeletal Muscle Fibre Types 11 1.1.3 Muscle Contraction 12 1.2 Motor Neurons 17 1.2.0 Motor Neuron Subtype Diversity 17 1.3 The Neuromuscular Junction 22 1.3.0 Agrin 22 1.3.1 Muscle-Specific Tyrosine Kinase 23 1.3.2 43 kDa Receptor-Associated Protein of the Synapse 26 1.3.3 Acetylcholine Receptors 26 1.3.4 Neuromuscular Junction Function 27 1.4 Aims and Objectives 32 Chapter 2: Materials and Methods 2.0 Materials 33 2.0.0 Cell Lines 33 2.0.1 Animals 33 2.0.2 Laboratory Equipment 34 2.0.3 Laboratory Plasticware 34 2.0.5 Reagents 35 2.1 Methods 36 2.1.0 Human Skeletal Muscle Cell Culture 36 2.1.1 Cell Count 37 2.1.2 Subculture 38 2.1.3 Cryopreservation 38 2.1.4 Differentiation Parameters 39 2.1.5 Co-culture 41 2.1.6 Isolation of Rat Embryo Spinal Cord 43 2.1.7 Preparation of Skeletal Muscle Cells for Co-culture 43 2.1.8 Innervation of Skeletal Muscle with Embryonic Rat
  • Model Difference Representation 4.2 Services Approaches 4.3 Requirements

    Model Difference Representation 4.2 Services Approaches 4.3 Requirements

    Fakultät II – Informatik, Wirtschafts- und Rechtswissenschaften Department für Informatik Model Difference Representation Von der Fakultät für Informatik, Wirtschafts- und Rechtswissenschaften der Carl von Ossietzky Universität Oldenburg zur Erlangung des Grades und Titels eines Doktors der Ingenieurswissenschaften (Dr.-Ing.) angenommene Dissertation von Herrn Dilshodbek Kuryazov geboren am 24.09.1985 in Usbekistan Oldenburg, February 2019 Gutachter: Prof. Dr. Andreas Winter Prof. Dr. Ralf Reussner Weitere Gutachter: Prof. Dr. Khakimjon Zayniddinov Tag der Disputation: 11.02.2019 Abstract. As a software engineering paradigm, Model-Driven Software Engineering (MDSE) is the modern day style of software development which supports well-suited ab- straction concepts to software development activities. It intends to improve the productivity of the software development, maintenance activities, and communi- cation among various team members and stakeholders. In MDSE, software models which also comprise source code are the central artifacts. MDSE brings several main advantages such as a productivity boost, models become a single point of truth, and they are reusable and automatically kept up-to-date with the code they represent. Software models (e.g., in UML) are the key artifacts in MDSE activities. Soft- ware models are well-suited for designing, developing and producing large-scale software projects. In order to cope with constantly growing amounts of software artifacts and their complexity, software systems to be developed and maintained are initially shifted to abstract forms using modeling concepts. Software models are the documentation and implementation of software systems being developed and evolved. Like the source code of software systems, software models are constantly changed during their development and evolutionary life-cycle.
  • Design Da Informação Em Saúde

    Design Da Informação Em Saúde

    Carla . Spinillo & Tatiana de Trotta Saúde em Informação da da em Desin Estudos e Reexões Tatiana de Trotta de Tatiana & ioi ioi Carla . Spinillo Design da Informação em Saúde Carla G. Spinillo & Tatiana de Trotta organizadoras Design da Informação em Saúde Estudos e Reflexões BRioi Curitiba • 2019 Dados Internacionais de Catalogação na Publicação (CIP) Agência Brasileira do ISBN – Bibliotecária Priscila Pena Machado CRB-7/6971 D457 Design da informação em saúde / orgs. Carla G. Spinillo e Tatiana de Trotta. — Curitiba : BRioi, 2019. Dados eletrônicos (pdf). ISBN 978-85-906855-1-7 1. Design visual. 2. Medicamentos - Fórmulas e receitas. 3. Comunicação visual. 4. Design gráfico (tipografia). 5. Ergonomia. 6. Promoção da saúde. I. Spinillo, Carla G. II. Trotta, Tatiana de. III. Título. CDD 302.22 Agradecimentos As organizadoras deste livro agradecem aos autores/revisores pelas suas contribuições na construção desta obra e às agências de fomento brasileiras pelo apoio aos estudos aqui reportados através de bolsas e financiamento direto a pesquisas. Sumário Apresentação • 9 1 Bulas e embalagens de medicamentos como instrumentos de educação em saúde • 13 TaTiane da silva dal Pizzol & Cassia garCia Moraes 2 O papel de um artefato informacional para usuários de medicamentos durante orientação farmacêutica em farmácias comunitárias • 49 CaMila KloCKer CosTa 3 Prontuários como artefatos de informação para profissionais de saúde Um olhar sob a perspectiva das teorias da Carga Cognitiva e Human Information Behavior • 83 Helena HieMisCH lobo borba 4 Animações para uso de medicamentos Um estudo sobre compreensão e eficácia de sequências pictóricas de procedimentos animadas (SPPAs) • 99 Carla g. sPinillo, aManda r.