Título :	15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers
Tipo de documento:	documento electrónico
Autores:	van Sinderen, Marten, ; Maciaszek, Leszek A., ; Fill, Hans-Georg,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2021
Número de páginas:	XII, 263 p. 129 ilustraciones, 94 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-83007-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  Sistemas informáticos  Microprogramación  Red de computadoras  Programación de computadoras  Sistemas de propósito especial y basados ​​en aplicaciones  Implementación de sistema informático  Estructuras de control y microprogramación  Redes de comunicación informática  Técnicas de programación
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas revisadas exhaustivamente de la 15.ª Conferencia Internacional sobre Tecnologías de Software, ICSOFT 2020, que se celebró de forma virtual debido a la pandemia de Covid-19. Los 12 artículos completos revisados ​​fueron cuidadosamente revisados ​​y seleccionados entre 95 presentaciones. Los artículos tratan los siguientes temas: modelado de procesos de negocio; gestión de servicios de TI; interoperabilidad y arquitectura orientada a servicios; software de gestión de proyectos; programación y estimación; métricas de software; obtención y especificación de requisitos; integración de software y sistemas, entre otros.
Nota de contenido:	Shared Autonomous Mobility on Demand: A Fuzzy-based Approach and Its Performance in the Presence of Uncertainty -- Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints -- R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture -- MLCA: A Model-Learning-Checking Approach for IoT Systems -- A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data -- On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment -- A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing -- Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach -- A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium -- Multilevel Readability Interpretation against Software Properties: A Data-centric Approach -- Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop -- A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States.
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

15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers [documento electrónico] / van Sinderen, Marten, ; Maciaszek, Leszek A., ; Fill, Hans-Georg,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XII, 263 p. 129 ilustraciones, 94 ilustraciones en color.
ISBN : 978-3-030-83007-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  Sistemas informáticos  Microprogramación  Red de computadoras  Programación de computadoras  Sistemas de propósito especial y basados ​​en aplicaciones  Implementación de sistema informático  Estructuras de control y microprogramación  Redes de comunicación informática  Técnicas de programación
Índice Dewey:	005.1 Programación (Computadoras)
Resumen:	Este libro constituye las actas revisadas exhaustivamente de la 15.ª Conferencia Internacional sobre Tecnologías de Software, ICSOFT 2020, que se celebró de forma virtual debido a la pandemia de Covid-19. Los 12 artículos completos revisados ​​fueron cuidadosamente revisados ​​y seleccionados entre 95 presentaciones. Los artículos tratan los siguientes temas: modelado de procesos de negocio; gestión de servicios de TI; interoperabilidad y arquitectura orientada a servicios; software de gestión de proyectos; programación y estimación; métricas de software; obtención y especificación de requisitos; integración de software y sistemas, entre otros.
Nota de contenido:	Shared Autonomous Mobility on Demand: A Fuzzy-based Approach and Its Performance in the Presence of Uncertainty -- Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-time Tasks with Deadline Constraints -- R-TNCES State Space Generation using Ontology-based Method on a Distributed Cloud-based Architecture -- MLCA: A Model-Learning-Checking Approach for IoT Systems -- A Real-time Integration of Semantic Annotations into Air Quality Monitoring Sensor Data -- On Improvement of Formal Verification of Reconfigurable Real-time Systems using TCTL and CTL-based Properties on IaaS Cloud Environment -- A Genetic Algorithm with Tournament Selection for Automated Testing of Satellite On-board Image Processing -- Model-based Threat Modeling for Cyber-physical Systems: A Computer-aided Approach -- A Machine Learning based Methodology for Web Systems Codeless Testing with Selenium -- Multilevel Readability Interpretation against Software Properties: A Data-centric Approach -- Efficient Verification of Reconfigurable Discrete-event System using Isabelle/HOL Theorem Prover and Hadoop -- A Method for the Joint Analysis of Numerical and Textual IT-System Data to Predict Critical System States.
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