Título :	Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, 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:	2018
Número de páginas:	XVII, 219 p. 127 ilustraciones, 31 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-02928-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)  Programación de computadoras  Ciencias de la Computación  Ordenadores  Profesiones  Computadoras digitales electrónicas  Compiladores e intérpretes  Técnicas de programación  Lógica informática y fundamentos de la programación  La profesión informática  Rendimiento y evaluación del sistema
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este volumen contiene un registro de algunas de las conferencias y seminarios impartidos en la Tercera Escuela Internacional de Ingeniería de Sistemas de Software Confiables (SETSS 2017), celebrada en abril de 2017 en la Universidad Southwest en Chongqing, China. Las seis contribuciones incluidas en este volumen brindan una descripción general de la investigación de vanguardia en métodos y herramientas para su uso en ingeniería de sistemas informáticos. Han sido extraídos de seis cursos originales impartidos en la escuela sobre temas tales como: pensamiento de confianza/garantía; Especificación estilo Hoare y verificación de programas orientados a objetos con JML; lógica, especificación, verificación y prueba interactiva; verificación de modelos de software con Automatizer; redacción de programas y pruebas; diseñar sistemas intensivos en software autoadaptativos; y con una contribución adicional sobre los desafíos de la descripción semántica formal. El material es útil para estudiantes de posgrado, investigadores, académicos e ingenieros industriales interesados ​​en la teoría y práctica de métodos y herramientas para el diseño y programación de sistemas de software confiables. .
Nota de contenido:	A Guide to Rely/Guarantee Thinking -- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny -- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update -- Challenges for Formal Semantic Description: Responses from the Main Approaches. .
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

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XVII, 219 p. 127 ilustraciones, 31 ilustraciones en color.
ISBN : 978-3-030-02928-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)  Programación de computadoras  Ciencias de la Computación  Ordenadores  Profesiones  Computadoras digitales electrónicas  Compiladores e intérpretes  Técnicas de programación  Lógica informática y fundamentos de la programación  La profesión informática  Rendimiento y evaluación del sistema
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este volumen contiene un registro de algunas de las conferencias y seminarios impartidos en la Tercera Escuela Internacional de Ingeniería de Sistemas de Software Confiables (SETSS 2017), celebrada en abril de 2017 en la Universidad Southwest en Chongqing, China. Las seis contribuciones incluidas en este volumen brindan una descripción general de la investigación de vanguardia en métodos y herramientas para su uso en ingeniería de sistemas informáticos. Han sido extraídos de seis cursos originales impartidos en la escuela sobre temas tales como: pensamiento de confianza/garantía; Especificación estilo Hoare y verificación de programas orientados a objetos con JML; lógica, especificación, verificación y prueba interactiva; verificación de modelos de software con Automatizer; redacción de programas y pruebas; diseñar sistemas intensivos en software autoadaptativos; y con una contribución adicional sobre los desafíos de la descripción semántica formal. El material es útil para estudiantes de posgrado, investigadores, académicos e ingenieros industriales interesados ​​en la teoría y práctica de métodos y herramientas para el diseño y programación de sistemas de software confiables. .
Nota de contenido:	A Guide to Rely/Guarantee Thinking -- An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping -- Formalizing Hoare Logic in PVS -- Modeling Concurrency in Dafny -- Software Is Not Soft: Challenges and Approaches to Dynamic Software Update -- Challenges for Formal Semantic Description: Responses from the Main Approaches. .
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