11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / Fonseca i Casas, Pau ; Sancho, Maria-Ribera ; Sherratt, Edel  

Público ISBD Ningún comentario para este título. Título : 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings Tipo de documento: documento electrónico Autores: Fonseca i Casas, Pau, ; Sancho, Maria-Ribera, ; Sherratt, Edel, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XII, 267 p. 128 ilustraciones, 69 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30690-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software  Compiladores (programas informáticos)  Programación de computadoras  diseño lógico  Red de computadoras  Compiladores e intérpretes  Técnicas de programación  Redes de comunicación informática Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Análisis y Modelado de Sistemas, SAM 2019, celebrada en Munich, Alemania, en septiembre de 2019. Los 12 artículos completos y 2 trabajos en progreso presentados junto con una charla magistral fueron cuidadosamente revisados ​​y seleccionado entre 28 presentaciones. Los artículos analizan las innovaciones, tendencias y experiencias más recientes en el modelado y análisis de sistemas complejos utilizando las notaciones del lenguaje de especificación y descripción (SDL-2010) y del gráfico de secuencia de mensajes (MSC) del UIT-T, así como lenguajes de diseño de sistemas relacionados, incluidos UML, ASN.1, TTCN, SysML y la notación de requisitos del usuario (URN). El tema de SAM 2019 fue "Lenguajes, Métodos y Herramientas para la Industria 4.0". Nota de contenido: Keynote -- Generating Test Suites to Validate Legacy Systems -- Distributed Applications, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements -- Generic Graphical Navigation for Modelling Tools -- Protocol syntax development using domain specific modeling languages -- Industry 4.0 Applications -- Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context -- Modeling and code generation framework for IoT -- Process Enactment with Traceability Support for NFV Systems -- Modeling in Environmental Social and Industrial Systems -- On the Structure of Avionics Systems Architecture -- Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions -- Towards a representation of Cellular Automaton using Specification and Description Language -- Interoperability -- Goal Model Integration: Advanced Relationships and Rationales Documentation -- Union Models: Support for Efficient Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models -- Concurrency, Data Integrity -- Adapting Integrity Checking Techniques for Concurrent Operation Executions -- Eventual Consistency Formalized. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019's theme was "Languages, Methods, and Tools for Industry 4.0.". Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings [documento electrónico] / Fonseca i Casas, Pau, ; Sancho, Maria-Ribera, ; Sherratt, Edel,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XII, 267 p. 128 ilustraciones, 69 ilustraciones en color. ISBN : 978-3-030-30690-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software  Compiladores (programas informáticos)  Programación de computadoras  diseño lógico  Red de computadoras  Compiladores e intérpretes  Técnicas de programación  Redes de comunicación informática Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 11.ª Conferencia Internacional sobre Análisis y Modelado de Sistemas, SAM 2019, celebrada en Munich, Alemania, en septiembre de 2019. Los 12 artículos completos y 2 trabajos en progreso presentados junto con una charla magistral fueron cuidadosamente revisados ​​y seleccionado entre 28 presentaciones. Los artículos analizan las innovaciones, tendencias y experiencias más recientes en el modelado y análisis de sistemas complejos utilizando las notaciones del lenguaje de especificación y descripción (SDL-2010) y del gráfico de secuencia de mensajes (MSC) del UIT-T, así como lenguajes de diseño de sistemas relacionados, incluidos UML, ASN.1, TTCN, SysML y la notación de requisitos del usuario (URN). El tema de SAM 2019 fue "Lenguajes, Métodos y Herramientas para la Industria 4.0". Nota de contenido: Keynote -- Generating Test Suites to Validate Legacy Systems -- Distributed Applications, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements -- Generic Graphical Navigation for Modelling Tools -- Protocol syntax development using domain specific modeling languages -- Industry 4.0 Applications -- Use of a pivot diagram in SysML to support an automated implementation of a MBSE design methodology in an Industry 4.0 context -- Modeling and code generation framework for IoT -- Process Enactment with Traceability Support for NFV Systems -- Modeling in Environmental Social and Industrial Systems -- On the Structure of Avionics Systems Architecture -- Generating Executable Code from High-level of Social or Socio-Ecological Model Descriptions -- Towards a representation of Cellular Automaton using Specification and Description Language -- Interoperability -- Goal Model Integration: Advanced Relationships and Rationales Documentation -- Union Models: Support for Efficient Reasoning about Model Families over Space and Time -- Facilitating the Co-Evolution of Standards and Models -- Concurrency, Data Integrity -- Adapting Integrity Checking Techniques for Concurrent Operation Executions -- Eventual Consistency Formalized. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019's theme was "Languages, Methods, and Tools for Industry 4.0.". Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200