Autor Semini, Laura
|
|
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsquedaFrom Software Engineering to Formal Methods and Tools, and Back / ter Beek, Maurice H. ; Fantechi, Alessandro ; Semini, Laura
TÃtulo : From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday Tipo de documento: documento electrónico Autores: ter Beek, Maurice H., ; Fantechi, Alessandro, ; Semini, Laura, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 574 p. 692 ilustraciones, 91 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30985-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 Compiladores (programas informáticos) Algoritmos TeorÃa de las máquinas Ciencias de la Computación Inteligencia artificial Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen fue publicado en honor del 65 cumpleaños de Stefania Gnesi. El volumen Festschrift contiene 32 artÃculos escritos por colaboradores cercanos y amigos de Stefania y se le presentó el 8 de octubre de 2019 en un coloquio de un dÃa celebrado en Oporto, Portugal. El Festschrift consta de ocho secciones, siete de las cuales reflejan las principales áreas de investigación a que Stefania ha contribuido. Luego de un recorrido por el legado de Stefania en la investigación y un homenaje de su director de tesis, estas siete secciones están ordenadas según el ciclo de vida de Stefania en la investigación, desde la ingenierÃa de software hasta los métodos y herramientas formales, y viceversa: IngenierÃa de software; Métodos y Herramientas Formales; IngenierÃa de Requisitos; Procesamiento natural del lenguaje; LÃneas de productos de software; Verificación Formal; y Aplicaciones. Nota de contenido: Software Engineering -- Formal Methods and Tools -- Requirements Engineering -- Natural Language Processing -- Software Product Lines -- Formal Verification -- Applications. 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 From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday [documento electrónico] / ter Beek, Maurice H., ; Fantechi, Alessandro, ; Semini, Laura, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIII, 574 p. 692 ilustraciones, 91 ilustraciones en color.
ISBN : 978-3-030-30985-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 Compiladores (programas informáticos) Algoritmos TeorÃa de las máquinas Ciencias de la Computación Inteligencia artificial Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen fue publicado en honor del 65 cumpleaños de Stefania Gnesi. El volumen Festschrift contiene 32 artÃculos escritos por colaboradores cercanos y amigos de Stefania y se le presentó el 8 de octubre de 2019 en un coloquio de un dÃa celebrado en Oporto, Portugal. El Festschrift consta de ocho secciones, siete de las cuales reflejan las principales áreas de investigación a que Stefania ha contribuido. Luego de un recorrido por el legado de Stefania en la investigación y un homenaje de su director de tesis, estas siete secciones están ordenadas según el ciclo de vida de Stefania en la investigación, desde la ingenierÃa de software hasta los métodos y herramientas formales, y viceversa: IngenierÃa de software; Métodos y Herramientas Formales; IngenierÃa de Requisitos; Procesamiento natural del lenguaje; LÃneas de productos de software; Verificación Formal; y Aplicaciones. Nota de contenido: Software Engineering -- Formal Methods and Tools -- Requirements Engineering -- Natural Language Processing -- Software Product Lines -- Formal Verification -- Applications. 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
