| TÃtulo : |
Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Mazzara, Manuel, ; Ober, Iulian, ; Salaün, Gwen, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XXI, 658 p. 231 ilustraciones, 112 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-04771-9 |
| 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) Computadoras Propósitos especiales Ciencias de la Computación Algoritmos Inteligencia artificial Compiladores e intérpretes Sistemas de propósito especial y basados ​​en aplicaciones Lógica informática y fundamentos de la programación |
| Ãndice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro contiene los artÃculos técnicos minuciosamente arbitrados presentados en ocho talleres realizados conjuntamente con la Conferencia Internacional sobre TecnologÃas de Software: Aplicaciones y Fundamentos, STAF 2018, celebrada en Toulouse, Francia, en junio de 2018. Los 65 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 120 presentaciones. Los eventos cuyos artÃculos se incluyen en este volumen son: CoSim-CPS 2018: 2do Taller Internacional sobre Co-Simulación Formal de Sistemas CiberfÃsicos DataMod 2018: 7mo Simposio Internacional De Datos a Modelos y Regreso FMIS 2018: 7mo Taller Internacional sobre Métodos Formales para sistemas interactivos FOCLASA 2018: 16° ​​Taller internacional sobre fundamentos de lenguajes de coordinación y sistemas autoadaptativos GCM 2018: 9° Taller internacional sobre modelos de computación gráfica MDE@DeRun 2018: 1° Taller internacional sobre ingenierÃa basada en modelos para interacción diseño-tiempo de ejecución en sistemas complejos MSE 2018: 3er Taller Internacional sobre Microservicios: Ciencia e IngenierÃa SecureMDE 2018: 1er Taller Internacional sobre Seguridad para y por IngenierÃa Dirigida por Modelos. |
| Nota de contenido: |
Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS) -- From Data to Models and Back (DataMod) -- Formal Methods for Interactive Systems (FMIS) -- Foundations of Coordination Languages and Self-adaptative Systems (FOCLASA) -- Graph Computation Models (GCM) -- Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun) -- Microservices: Science and Engineering (MSE) -- Security for and by Model-Driven Engineering (MDE). |
| 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 |
Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers [documento electrónico] / Mazzara, Manuel, ; Ober, Iulian, ; Salaün, Gwen, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXI, 658 p. 231 ilustraciones, 112 ilustraciones en color. ISBN : 978-3-030-04771-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |  |
Hacer una sugerencia Refinar búsquedaSoftware Technologies: Applications and Foundations / Mazzara, Manuel ; Ober, Iulian ; Salaün, Gwen
