Título :	4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, 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:	2019
Número de páginas:	XVII, 237 p. 556 ilustraciones, 84 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-17601-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  Red de computadoras  Algoritmos  Ciencias de la Computación  Teoría de las máquinas  Inteligencia artificial  Redes de comunicación informática  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este volumen contiene conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingeniería de sistemas informáticos; en la 4ta Escuela Internacional de Ingeniería de Sistemas de Software Confiables, SETSS 2018, celebrada en abril de 2018 en la Universidad Southwest en Chongqing, China. Los cinco capítulos de este volumen brindan una descripción general de la investigación en la frontera de las teorías, métodos y herramientas para el modelado, diseño y verificación de software. Los temas cubiertos en este capítulo incluyen la verificación de software con Whiley, el aprendizaje de los autómatas Büchi y sus aplicaciones, la seguridad en aplicaciones de IoT, la programación en Z3 y el impacto de Alan Turing: métodos formales y más. El volumen proporciona un recurso útil para estudiantes de posgrado, investigadores, académicos e ingenieros de la industria interesados ​​en teoría, métodos y herramientas para el desarrollo de software confiable.
Nota de contenido:	An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. .
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

4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XVII, 237 p. 556 ilustraciones, 84 ilustraciones en color.
ISBN : 978-3-030-17601-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  Red de computadoras  Algoritmos  Ciencias de la Computación  Teoría de las máquinas  Inteligencia artificial  Redes de comunicación informática  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este volumen contiene conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingeniería de sistemas informáticos; en la 4ta Escuela Internacional de Ingeniería de Sistemas de Software Confiables, SETSS 2018, celebrada en abril de 2018 en la Universidad Southwest en Chongqing, China. Los cinco capítulos de este volumen brindan una descripción general de la investigación en la frontera de las teorías, métodos y herramientas para el modelado, diseño y verificación de software. Los temas cubiertos en este capítulo incluyen la verificación de software con Whiley, el aprendizaje de los autómatas Büchi y sus aplicaciones, la seguridad en aplicaciones de IoT, la programación en Z3 y el impacto de Alan Turing: métodos formales y más. El volumen proporciona un recurso útil para estudiantes de posgrado, investigadores, académicos e ingenieros de la industria interesados ​​en teoría, métodos y herramientas para el desarrollo de software confiable.
Nota de contenido:	An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. .
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