Autor Salaün, Gwen
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / Salaün, Gwen ; Wijs, Anton
TÃtulo : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings Tipo de documento: documento electrónico Autores: Salaün, Gwen, ; Wijs, Anton, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 175 p. 63 ilustraciones, 21 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-90636-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 Sistemas informáticos Computadoras Propósitos especiales Red de computadoras Ciencias de la Computación Microprogramación Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Redes de comunicación informática Lógica informática y fundamentos de la programación Estructuras de control y microprogramación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye los artÃculos seleccionados minuciosamente revisados ​​del 17.º Simposio Internacional, FACS 2021, que se celebró virtualmente en octubre de 2021. Los 7 artÃculos completos y 1 contribución breve fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones y se presentan en el volumen junto con 1 papel invitado. FACS 2021 se ocupa de cómo se pueden aplicar los métodos formales al desarrollo de sistemas y software basado en componentes. El libro se subdivide en dos bloques: Modelado y Composición y Verificación. El capÃtulo "Un algoritmo lineal paralelo para calcular la bisimulación y las particiones relacionales más gruesas" está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Invited Papers -- Modelling & Composition -- Verification. 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 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings [documento electrónico] / Salaün, Gwen, ; Wijs, Anton, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 175 p. 63 ilustraciones, 21 ilustraciones en color.
ISBN : 978-3-030-90636-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 Sistemas informáticos Computadoras Propósitos especiales Red de computadoras Ciencias de la Computación Microprogramación Implementación de sistema informático Sistemas de propósito especial y basados ​​en aplicaciones Redes de comunicación informática Lógica informática y fundamentos de la programación Estructuras de control y microprogramación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye los artÃculos seleccionados minuciosamente revisados ​​del 17.º Simposio Internacional, FACS 2021, que se celebró virtualmente en octubre de 2021. Los 7 artÃculos completos y 1 contribución breve fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones y se presentan en el volumen junto con 1 papel invitado. FACS 2021 se ocupa de cómo se pueden aplicar los métodos formales al desarrollo de sistemas y software basado en componentes. El libro se subdivide en dos bloques: Modelado y Composición y Verificación. El capÃtulo "Un algoritmo lineal paralelo para calcular la bisimulación y las particiones relacionales más gruesas" está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Invited Papers -- Modelling & Composition -- Verification. 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
TÃtulo : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings Tipo de documento: documento electrónico Autores: Ölveczky, Peter Csaba, ; Salaün, Gwen, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVIII, 550 p. 910 ilustraciones, 89 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30446-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 Compiladores (programas informáticos) Ciencias de la Computación Computadoras digitales electrónicas Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Rendimiento y evaluación del sistema Modelado por computadora Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2019, celebrada en Oslo, Noruega, en septiembre de 2019. Los 27 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 89 presentaciones. Los artÃculos cubren una gran variedad de temas, incluidas pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, detección de ataques y malware, y desarrollo y evolución de software, y abordan una amplia gama de sistemas, como sistemas ciberfÃsicos, vehÃculos aéreos no tripulados y robots autónomos. y sistemas operativos y orientados a funciones. Están organizados en las siguientes secciones temáticas: sistemas cooperativos asÃncronos; sistemas ciberfÃsicos; sistemas versionados y orientados a funciones; pruebas basadas en modelos; inferencia de modelos; ontologÃas y aprendizaje automático; sistemas operativos; análisis de programas; relacionar modelos e implementaciones; verificación del tiempo de ejecución; seguridad; y verificación. 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 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings [documento electrónico] / Ölveczky, Peter Csaba, ; Salaün, Gwen, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVIII, 550 p. 910 ilustraciones, 89 ilustraciones en color.
ISBN : 978-3-030-30446-1
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) Ciencias de la Computación Computadoras digitales electrónicas Inteligencia artificial Simulación por ordenador Compiladores e intérpretes TeorÃa de la Computación Rendimiento y evaluación del sistema Modelado por computadora Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 17.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2019, celebrada en Oslo, Noruega, en septiembre de 2019. Los 27 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 89 presentaciones. Los artÃculos cubren una gran variedad de temas, incluidas pruebas, verificación formal, análisis de programas, verificación en tiempo de ejecución, detección de ataques y malware, y desarrollo y evolución de software, y abordan una amplia gama de sistemas, como sistemas ciberfÃsicos, vehÃculos aéreos no tripulados y robots autónomos. y sistemas operativos y orientados a funciones. Están organizados en las siguientes secciones temáticas: sistemas cooperativos asÃncronos; sistemas ciberfÃsicos; sistemas versionados y orientados a funciones; pruebas basadas en modelos; inferencia de modelos; ontologÃas y aprendizaje automático; sistemas operativos; análisis de programas; relacionar modelos e implementaciones; verificación del tiempo de ejecución; seguridad; y verificación. 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
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.
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
