Título :	23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Tipo de documento:	documento electrónico
Autores:	Wehrheim, Heike, ; Cabot, Jordi,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2020
Número de páginas:	XIII, 552 p. 1 ilustraciones
ISBN/ISSN/DL:	978-3-030-45234-6
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  Propósitos especiales  Microprogramación  Sistemas informáticos  Red de computadoras  Inteligencia artificial  Sistemas de propósito especial y basados ​​en aplicaciones  Estructuras de control y microprogramación  Implementación de sistema informático  Redes de comunicación informática
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Enfoques Fundamentales de la Ingeniería de Software, FASE 2020, que tuvo lugar en Dublín, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software. , ETAPS 2020. Los 23 artículos completos, 1 artículo sobre herramientas y 6 artículos de competencia de prueba presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 81 presentaciones. Los artículos cubren temas como ingeniería de requisitos, arquitecturas de software, especificación, calidad del software, validación, verificación de propiedades funcionales y no funcionales, desarrollo impulsado por modelos y transformación de modelos, procesos de software, seguridad y evolución del software.
Nota de contenido:	Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution.
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

23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings [documento electrónico] / Wehrheim, Heike, ; Cabot, Jordi,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XIII, 552 p. 1 ilustraciones.
ISBN : 978-3-030-45234-6
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  Propósitos especiales  Microprogramación  Sistemas informáticos  Red de computadoras  Inteligencia artificial  Sistemas de propósito especial y basados ​​en aplicaciones  Estructuras de control y microprogramación  Implementación de sistema informático  Redes de comunicación informática
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro de acceso abierto constituye las actas de la 23.ª Conferencia Internacional sobre Enfoques Fundamentales de la Ingeniería de Software, FASE 2020, que tuvo lugar en Dublín, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software. , ETAPS 2020. Los 23 artículos completos, 1 artículo sobre herramientas y 6 artículos de competencia de prueba presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 81 presentaciones. Los artículos cubren temas como ingeniería de requisitos, arquitecturas de software, especificación, calidad del software, validación, verificación de propiedades funcionales y no funcionales, desarrollo impulsado por modelos y transformación de modelos, procesos de software, seguridad y evolución del software.
Nota de contenido:	Requirements engineering -- Software architectures -- Specification -- Software quality -- Validation -- Verification of functional and non-functional properties -- Model-driven development and model transformation -- Software processes -- Security and software evolution.
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