Dependable Software Engineering. Theories, Tools, and Applications / Guan, Nan ; Katoen, Joost-Pieter ; Sun, Jun  

Público ISBD Ningún comentario para este registro. Título : Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Guan, Nan, ; Katoen, Joost-Pieter, ; Sun, Jun, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 139 p. 135 ilustraciones, 23 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-35540-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software  Ingeniería Informática  Red de computadoras  Microprogramación  Simulación por ordenador  Ciencias de la Computación  Teoría de las máquinas  Ingeniería Informática y Redes  Estructuras de control y microprogramación.  Modelado por computadora  Lógica informática y fundamentos de la programación.  Lenguajes formales y teoría de los autómatas Clasificación: 005.1 Resumen: Este libro constituye las actas del V Simposio Internacional sobre Ingeniería de Software Confiable: Teorías, Herramientas y Aplicaciones, SETTA 2019, celebrado en Shanghai, China, en noviembre de 2019. Los 8 artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Presentan avances de vanguardia en el campo de los métodos formales y su interoperabilidad con la ingeniería de software y se centran en la aplicación de técnicas y herramientas formales para construir sistemas confiables, seguros e inteligentes con complejidades multidimensionales. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / [documento electrónico] / Guan, Nan, ; Katoen, Joost-Pieter, ; Sun, Jun,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XIII, 139 p. 135 ilustraciones, 23 ilustraciones en color. ISBN : 978-3-030-35540-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software  Ingeniería Informática  Red de computadoras  Microprogramación  Simulación por ordenador  Ciencias de la Computación  Teoría de las máquinas  Ingeniería Informática y Redes  Estructuras de control y microprogramación.  Modelado por computadora  Lógica informática y fundamentos de la programación.  Lenguajes formales y teoría de los autómatas Clasificación: 005.1 Resumen: Este libro constituye las actas del V Simposio Internacional sobre Ingeniería de Software Confiable: Teorías, Herramientas y Aplicaciones, SETTA 2019, celebrado en Shanghai, China, en noviembre de 2019. Los 8 artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Presentan avances de vanguardia en el campo de los métodos formales y su interoperabilidad con la ingeniería de software y se centran en la aplicación de técnicas y herramientas formales para construir sistemas confiables, seguros e inteligentes con complejidades multidimensionales. . Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200