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