Título :	5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
Tipo de documento:	documento electrónico
Autores:	Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XVII, 221 p. 242 ilustraciones, 9 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-55089-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  Red de computadoras  Inteligencia artificial  Programación de computadoras  Sistemas informáticos  Procesamiento del lenguaje natural (Informática)  Redes de comunicación informática  Técnicas de programación  Implementación de sistema informático  Procesamiento del lenguaje natural (PNL)
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas arbitradas de la Quinta Escuela Internacional de Ingeniería de Sistemas de Software Confiables, SETSS 2019, celebrada en Chongqing, China, en abril de 2019. Los cinco capítulos de este volumen ofrecen conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingeniería de sistemas computacionales. Los temas cubiertos en estos capítulos incluyen Desarrollo continuo de sistemas basados ​​en modelos: fundamentos; Desde el análisis de accesibilidad limitada de autómatas híbridos lineales hasta la verificación de CPS industriales e IoT; Semántica de expectativas previas más débiles para la inferencia bayesiana: condicionamiento, distribuciones continuas y divergencia; K – Un marco semántico para lenguajes de programación y herramientas de análisis formal; y abstracciones de software y modelado de arquitectura de sistemas humano-ciberfísicos.
Nota de contenido:	Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
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

5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XVII, 221 p. 242 ilustraciones, 9 ilustraciones en color.
ISBN : 978-3-030-55089-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  Red de computadoras  Inteligencia artificial  Programación de computadoras  Sistemas informáticos  Procesamiento del lenguaje natural (Informática)  Redes de comunicación informática  Técnicas de programación  Implementación de sistema informático  Procesamiento del lenguaje natural (PNL)
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas arbitradas de la Quinta Escuela Internacional de Ingeniería de Sistemas de Software Confiables, SETSS 2019, celebrada en Chongqing, China, en abril de 2019. Los cinco capítulos de este volumen ofrecen conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingeniería de sistemas computacionales. Los temas cubiertos en estos capítulos incluyen Desarrollo continuo de sistemas basados ​​en modelos: fundamentos; Desde el análisis de accesibilidad limitada de autómatas híbridos lineales hasta la verificación de CPS industriales e IoT; Semántica de expectativas previas más débiles para la inferencia bayesiana: condicionamiento, distribuciones continuas y divergencia; K – Un marco semántico para lenguajes de programación y herramientas de análisis formal; y abstracciones de software y modelado de arquitectura de sistemas humano-ciberfísicos.
Nota de contenido:	Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
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