Formal Methods and Software Engineering / Duan, Zhenhua ; Ong, Luke  

Público ISBD Ningún comentario para este registro. Título : Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings Tipo de documento: documento electrónico Autores: Duan, Zhenhua, ; Ong, Luke, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVII, 498 p. 134 ilustraciones ISBN/ISSN/DL: 978-3-319-68690-5 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)  Ciencias de la Computación  Teoría de las máquinas  Red de computadoras  Técnicas de programación  Compiladores e intérpretes  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Redes de comunicación informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 19.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2017, celebrada en Xi''an, China, en noviembre de 2017. Los 28 artículos completos revisados ​​presentados junto con una charla invitada y dos resúmenes de las charlas invitadas fueron cuidadosamente revisado y seleccionado entre 80 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos de ingeniería formal, como verificación y validación, ingeniería de software, especificación y modelado formal, seguridad y confiabilidad del software. Nota de contenido: Verification and validation -- Software engineering -- Formal specification and modeling -- Software security -- Software reliability. 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 Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings [documento electrónico] / Duan, Zhenhua, ; Ong, Luke,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XVII, 498 p. 134 ilustraciones. ISBN : 978-3-319-68690-5 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)  Ciencias de la Computación  Teoría de las máquinas  Red de computadoras  Técnicas de programación  Compiladores e intérpretes  Lógica informática y fundamentos de la programación  Lenguajes formales y teoría de los autómatas  Redes de comunicación informática Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 19.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2017, celebrada en Xi''an, China, en noviembre de 2017. Los 28 artículos completos revisados ​​presentados junto con una charla invitada y dos resúmenes de las charlas invitadas fueron cuidadosamente revisado y seleccionado entre 80 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos de ingeniería formal, como verificación y validación, ingeniería de software, especificación y modelado formal, seguridad y confiabilidad del software. Nota de contenido: Verification and validation -- Software engineering -- Formal specification and modeling -- Software security -- Software reliability. 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 - 1 / 1) Par page : 25 50 100 200