Título :	Reliable Software Technologies – Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings
Tipo de documento:	documento electrónico
Autores:	Casimiro, António, ; Ferreira, Pedro M.,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2018
Número de páginas:	XIV, 175 p. 58 ilustraciones
ISBN/ISSN/DL:	978-3-319-92432-8
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  Ingeniería Informática  Red de computadoras  Ordenadores  Ciencias de la Computación  Estructuras de datos (Informática)  Teoría de la información  Comercio electrónico  Ingeniería Informática y Redes  Hardware de la computadora  Lógica informática y fundamentos de la programación  Estructuras de datos y teoría de la información  comercio electrónico y negocios electrónicos
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas de la 23.ª Conferencia Internacional Ada-Europe sobre Tecnologías de Software Confiables, Ada-Europe 2018, celebrada en Lisboa, Portugal, en junio de 2018. Los 10 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Estaban organizados en secciones temáticas denominadas: seguridad y protección; Ada 202X; manejo de gastos generales implícitos; programación en tiempo real; y nuevos dominios de aplicación. .
Nota de contenido:	Safety and Security -- Using Safety Contracts to Verify Design Assumptions During Runtime -- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation -- Ada 202X -- Safe Dynamic Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit Overhead -- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks -- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling -- Real-Time Scheduling -- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar -- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems -- New Application Domains -- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP -- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies.
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

Reliable Software Technologies – Ada-Europe 2018 : 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings [documento electrónico] / Casimiro, António, ; Ferreira, Pedro M.,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XIV, 175 p. 58 ilustraciones.
ISBN : 978-3-319-92432-8
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  Ingeniería Informática  Red de computadoras  Ordenadores  Ciencias de la Computación  Estructuras de datos (Informática)  Teoría de la información  Comercio electrónico  Ingeniería Informática y Redes  Hardware de la computadora  Lógica informática y fundamentos de la programación  Estructuras de datos y teoría de la información  comercio electrónico y negocios electrónicos
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas de la 23.ª Conferencia Internacional Ada-Europe sobre Tecnologías de Software Confiables, Ada-Europe 2018, celebrada en Lisboa, Portugal, en junio de 2018. Los 10 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Estaban organizados en secciones temáticas denominadas: seguridad y protección; Ada 202X; manejo de gastos generales implícitos; programación en tiempo real; y nuevos dominios de aplicación. .
Nota de contenido:	Safety and Security -- Using Safety Contracts to Verify Design Assumptions During Runtime -- Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation -- Ada 202X -- Safe Dynamic Memory Management in Ada and SPARK -- Safe Non-Blocking Synchronization in Ada2x -- Handling Implicit Overhead -- On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks -- Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling -- Real-Time Scheduling -- Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar -- Theory and Practice of EDF Scheduling in Distributed Real-Time Systems -- New Application Domains -- Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP -- Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies.
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