| 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. |
| 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 |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| 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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
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.
| 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 |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| 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. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |