4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / Bowen, Jonathan P. ; Liu, Zhiming ; Zhang, Zili  

Público ISBD Ningún comentario para este registro. 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

5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / Bowen, Jonathan P. ; Liu, Zhiming ; Zhang, Zili  

Público ISBD Ningún comentario para este registro. 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

Engineering Trustworthy Software Systems / Bowen, Jonathan P. ; Liu, Zhiming ; Zhang, Zili  

Público ISBD Ningún comentario para este registro. Título : Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, 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: 2017 Número de páginas: XV, 259 p. 64 ilustraciones ISBN/ISSN/DL: 978-3-319-56841-6 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  Programación de computadoras  Compiladores (programas informáticos)  Ordenadores  Profesiones  Ciencias de la Computación  Computadoras digitales electrónicas  Técnicas de programación  Compiladores e intérpretes  La profesión informática  Lógica informática y fundamentos de la programación  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 Segunda Escuela Internacional de Ingeniería de Sistemas de Software Confiables (SETSS 2016), celebrada en marzo/abril de 2016 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. Provienen de seis cursos y dos seminarios sobre temas como modelado y verificación en el evento B; programación paralela hoy; verificación del tiempo de ejecución; Java en el dominio crítico para la seguridad; semántica de sistemas reactivos; pruebas unitarias parametrizadas; razonamiento formal sobre valores de datos infinitos; y Alan Turing y sus notables logros. 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: Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. 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 Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XV, 259 p. 64 ilustraciones. ISBN : 978-3-319-56841-6 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  Programación de computadoras  Compiladores (programas informáticos)  Ordenadores  Profesiones  Ciencias de la Computación  Computadoras digitales electrónicas  Técnicas de programación  Compiladores e intérpretes  La profesión informática  Lógica informática y fundamentos de la programación  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 Segunda Escuela Internacional de Ingeniería de Sistemas de Software Confiables (SETSS 2016), celebrada en marzo/abril de 2016 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. Provienen de seis cursos y dos seminarios sobre temas como modelado y verificación en el evento B; programación paralela hoy; verificación del tiempo de ejecución; Java en el dominio crítico para la seguridad; semántica de sistemas reactivos; pruebas unitarias parametrizadas; razonamiento formal sobre valores de datos infinitos; y Alan Turing y sus notables logros. 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: Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. 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 / Bowen, Jonathan P. ; Liu, Zhiming ; Zhang, Zili  

Público ISBD Ningún comentario para este registro. 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

---

1 (1 - 4 / 4) Par page : 25 50 100 200