| Título : |
10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings |
| Tipo de documento: |
documento electrónico |
| Autores: |
Khendek, Ferhat, ; Gotzhein, Reinhard, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XII, 247 p. 66 ilustraciones |
| ISBN/ISSN/DL: |
978-3-030-01042-3 |
| 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 Ordenadores Ingeniería Informática Red de computadoras Hardware de la computadora Ingeniería Informática y Redes Operaciones de TI |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Análisis y Modelado de Sistemas, SAM 2018, celebrada en Copenhague, Dinamarca, en octubre de 2018. Los 12 artículos completos y 2 artículos breves presentados fueron cuidadosamente revisados y seleccionados entre 24 presentaciones. Los artículos describen innovaciones, tendencias y experiencias 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 y ASN. .1, TTCN, SysML y la notación de requisitos del usuario (URN). La edición de este año de SAM tendrá como tema "Lenguajes, métodos y herramientas para la ingeniería de sistemas", incluidos lenguajes y métodos estandarizados por el ITU-T y lenguajes de dominios específicos. También se incluyen tecnologías de ingeniería de software, como ingeniería de requisitos, verificación y validación de software y generación automatizada de código. |
| Nota de contenido: |
Modeling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns -- Scheduling Architectures for Scientific Workows in the Cloud -- CREST -- A DSL for Reactive Cyber-Physical Systems -- On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification -- Distributed Computing on Distributed Memory -- Pattern Libraries Guiding the Model-based Reuse of Automotive Solutions -- Enabling Performance Modeling for the Masses: Initial Experiences -- Realizability of Service Specifications -- An Arithmetic Semantics for GRL Goal Models with Function Generation -- Textual User Requirements Notation -- A Comparative Analysis of ITU-MSC-based Requirements Specification Approaches used in the Automotive Industry -- Towards Online Collaborative Multi-View Modeling -- Collaborative Software Design and Modeling in Open Source Systems -- The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. . |
| 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 |
10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings [documento electrónico] / Khendek, Ferhat, ; Gotzhein, Reinhard, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 247 p. 66 ilustraciones. ISBN : 978-3-030-01042-3 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 Ordenadores Ingeniería Informática Red de computadoras Hardware de la computadora Ingeniería Informática y Redes Operaciones de TI |
| Índice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Análisis y Modelado de Sistemas, SAM 2018, celebrada en Copenhague, Dinamarca, en octubre de 2018. Los 12 artículos completos y 2 artículos breves presentados fueron cuidadosamente revisados y seleccionados entre 24 presentaciones. Los artículos describen innovaciones, tendencias y experiencias 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 y ASN. .1, TTCN, SysML y la notación de requisitos del usuario (URN). La edición de este año de SAM tendrá como tema "Lenguajes, métodos y herramientas para la ingeniería de sistemas", incluidos lenguajes y métodos estandarizados por el ITU-T y lenguajes de dominios específicos. También se incluyen tecnologías de ingeniería de software, como ingeniería de requisitos, verificación y validación de software y generación automatizada de código. |
| Nota de contenido: |
Modeling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns -- Scheduling Architectures for Scientific Workows in the Cloud -- CREST -- A DSL for Reactive Cyber-Physical Systems -- On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification -- Distributed Computing on Distributed Memory -- Pattern Libraries Guiding the Model-based Reuse of Automotive Solutions -- Enabling Performance Modeling for the Masses: Initial Experiences -- Realizability of Service Specifications -- An Arithmetic Semantics for GRL Goal Models with Function Generation -- Textual User Requirements Notation -- A Comparative Analysis of ITU-MSC-based Requirements Specification Approaches used in the Automotive Industry -- Towards Online Collaborative Multi-View Modeling -- Collaborative Software Design and Modeling in Open Source Systems -- The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. . |
| 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 |
|  |