TÃtulo : |
First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings |
Tipo de documento: |
documento electrónico |
Autores: |
Babur, Önder, ; Denil, Joachim, ; Vogel-Heuser, Birgit, |
Mención de edición: |
1 ed. |
Editorial: |
[s.l.] : Springer |
Fecha de publicación: |
2020 |
Número de páginas: |
XII, 197 p. 28 ilustraciones, 1 ilustraciones en color. |
ISBN/ISSN/DL: |
978-3-030-58167-1 |
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 Lenguajes de programación (computadoras electrónicas) Sistemas informáticos Programación de computadoras Inteligencia artificial Microprogramación Lenguaje de programación Implementación de sistema informático Técnicas de programación Estructuras de control y microprogramación |
Clasificación: |
|
Resumen: |
Este libro constituye las actas arbitradas de la Primera Conferencia Internacional sobre Modelado y Gestión de Sistemas, ICSMM 2020, prevista para celebrarse en Bergen, Noruega, en junio de 2020. Debido a la pandemia de COVID-19, la conferencia no se llevó a cabo fÃsica ni virtualmente. Los 10 artÃculos completos y 3 artÃculos breves fueron revisados ​​minuciosamente y seleccionados entre 19 presentaciones calificadas. Los artÃculos están organizados según las siguientes secciones temáticas: verificación y validación; aplicaciones; métodos, técnicas y herramientas. |
Nota de contenido: |
Verification and Validation -- Applications -- Methods, Techniques and Tools. |
Enlace de acceso : |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings [documento electrónico] / Babur, Önder, ; Denil, Joachim, ; Vogel-Heuser, Birgit, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 197 p. 28 ilustraciones, 1 ilustraciones en color. ISBN : 978-3-030-58167-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |