Tools and Methods of Program Analysis / Itsykson, Vladimir ; Scedrov, Andre ; Zakharov, Victor  

Público ISBD Ningún comentario para este registro. Título : Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Itsykson, Vladimir, ; Scedrov, Andre, ; Zakharov, Victor, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XVIII, 209 p. 71 ilustraciones ISBN/ISSN/DL: 978-3-319-71734-0 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  Computadoras digitales electrónicas  Simulación por ordenador  Sistemas operativos (computadoras)  Inteligencia artificial  Compiladores (programas informáticos)  Rendimiento y evaluación del sistema  Modelado por computadora  Sistemas operativos  Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 4ta Conferencia Internacional sobre Herramientas y Métodos para el Análisis de Programas, TMPA 2017, Moscú, Rusia, 3 y 4 de marzo de 2017. Los 12 artículos completos revisados ​​y los 5 artículos breves revisados ​​se presentan junto con tres resúmenes de las ponencias principales. Las charlas fueron cuidadosamente revisadas y seleccionadas entre 51 presentaciones. Los artículos tratan temas como la automatización de pruebas de software, análisis estático de programas, verificación, métodos dinámicos de análisis de programas, pruebas y análisis de sistemas paralelos y distribuidos, pruebas y análisis de sistemas de alta carga y alta disponibilidad, análisis y verificación de hardware. y sistemas de software, métodos para construir software de calidad, herramientas para análisis, pruebas y verificación de software. . Nota de contenido: Software test automation -- Static program analysis -- Verification -- Dynamic methods of program analysis -- Testing and analysis of parallel and distributed systems -- Testing and analysis of high-load and high-availability systems -- Analysis and verification of hardware and software systems -- Methods of building quality software -- Tools for software analysis, testing and verification. 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 Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers [documento electrónico] / Itsykson, Vladimir, ; Scedrov, Andre, ; Zakharov, Victor,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XVIII, 209 p. 71 ilustraciones. ISBN : 978-3-319-71734-0 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  Computadoras digitales electrónicas  Simulación por ordenador  Sistemas operativos (computadoras)  Inteligencia artificial  Compiladores (programas informáticos)  Rendimiento y evaluación del sistema  Modelado por computadora  Sistemas operativos  Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la 4ta Conferencia Internacional sobre Herramientas y Métodos para el Análisis de Programas, TMPA 2017, Moscú, Rusia, 3 y 4 de marzo de 2017. Los 12 artículos completos revisados ​​y los 5 artículos breves revisados ​​se presentan junto con tres resúmenes de las ponencias principales. Las charlas fueron cuidadosamente revisadas y seleccionadas entre 51 presentaciones. Los artículos tratan temas como la automatización de pruebas de software, análisis estático de programas, verificación, métodos dinámicos de análisis de programas, pruebas y análisis de sistemas paralelos y distribuidos, pruebas y análisis de sistemas de alta carga y alta disponibilidad, análisis y verificación de hardware. y sistemas de software, métodos para construir software de calidad, herramientas para análisis, pruebas y verificación de software. . Nota de contenido: Software test automation -- Static program analysis -- Verification -- Dynamic methods of program analysis -- Testing and analysis of parallel and distributed systems -- Testing and analysis of high-load and high-availability systems -- Analysis and verification of hardware and software systems -- Methods of building quality software -- Tools for software analysis, testing and verification. 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