Información del autor
Autor van Sinderen, Marten |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsquedaSoftware Technologies / Cabello, Enrique ; Cardoso, Jorge ; Ludwig, André ; Maciaszek, Leszek A. ; van Sinderen, Marten
TÃtulo : Software Technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Cabello, Enrique, ; Cardoso, Jorge, ; Ludwig, André, ; Maciaszek, Leszek A., ; van Sinderen, Marten, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIV, 359 p. 326 ilustraciones, 154 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-62569-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software Compiladores (programas informáticos) Simulación por ordenador Compiladores e intérpretes Modelado por computadora Operaciones de TI Clasificación: 005.1 Resumen: Este libro constituye las actas minuciosamente arbitradas de la 11.ª Conferencia Internacional Conjunta sobre TecnologÃas de Software, ICSOFT 2016, celebrada en Lisboa, Portugal, en julio de 2016. Los 13 artÃculos completos revisados ​​junto con 3 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 84 presentaciones. Los artÃculos seleccionados para ser incluidos en este libro contribuyen a la comprensión de las tendencias relevantes de la investigación actual sobre tecnologÃas de software, que incluyen: Modelado para dispositivos móviles Pruebas de software y sistemas Desarrollo de software basado en modelos ReingenierÃa de sistemas para múltiples inquilinos Sistemas integrados y en tiempo real reconfiguración Lenguajes y modelado de dominios especÃficos Calidad de software y sistemas Sistemas de software conscientes del contexto y que se adaptan dinámicamente. Nota de contenido: Software Engineering and Applications -- Software Paradigm Trends -- Modelling for mobile devices -- Model-driven software development -- Domain-specic languages and modelling -- Context-aware and dynamically adapting software systems -- Enterprise Software Technologies -- Software Project Management -- Software Engineering Methods and Techniques -- Distributed and Mobile Software Systems. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Technologies : 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers [documento electrónico] / Cabello, Enrique, ; Cardoso, Jorge, ; Ludwig, André, ; Maciaszek, Leszek A., ; van Sinderen, Marten, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIV, 359 p. 326 ilustraciones, 154 ilustraciones en color.
ISBN : 978-3-319-62569-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software Compiladores (programas informáticos) Simulación por ordenador Compiladores e intérpretes Modelado por computadora Operaciones de TI Clasificación: 005.1 Resumen: Este libro constituye las actas minuciosamente arbitradas de la 11.ª Conferencia Internacional Conjunta sobre TecnologÃas de Software, ICSOFT 2016, celebrada en Lisboa, Portugal, en julio de 2016. Los 13 artÃculos completos revisados ​​junto con 3 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 84 presentaciones. Los artÃculos seleccionados para ser incluidos en este libro contribuyen a la comprensión de las tendencias relevantes de la investigación actual sobre tecnologÃas de software, que incluyen: Modelado para dispositivos móviles Pruebas de software y sistemas Desarrollo de software basado en modelos ReingenierÃa de sistemas para múltiples inquilinos Sistemas integrados y en tiempo real reconfiguración Lenguajes y modelado de dominios especÃficos Calidad de software y sistemas Sistemas de software conscientes del contexto y que se adaptan dinámicamente. Nota de contenido: Software Engineering and Applications -- Software Paradigm Trends -- Modelling for mobile devices -- Model-driven software development -- Domain-specic languages and modelling -- Context-aware and dynamically adapting software systems -- Enterprise Software Technologies -- Software Project Management -- Software Engineering Methods and Techniques -- Distributed and Mobile Software Systems. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Software Technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers / Tipo de documento: documento electrónico Autores: Cabello, Enrique, ; Cardoso, Jorge, ; Maciaszek, Leszek A., ; van Sinderen, Marten, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 309 p. 80 ilustraciones ISBN/ISSN/DL: 978-3-319-93641-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software Inteligencia artificial Software de la aplicacion Programación de computadoras Compiladores (programas informáticos) Computadoras digitales electrónicas Aplicaciones informáticas y de sistemas de información Técnicas de programación Compiladores e intérpretes Rendimiento y evaluación del sistema Clasificación: 005.1 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 12.ª Conferencia Internacional Conjunta sobre TecnologÃas de Software, ICSOFT 2017, celebrada en Madrid, España, en julio de 2017. Los 17 artÃculos completos revisados ​​y los 24 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 85 presentaciones. Los temas tratados en los artÃculos incluyen: calidad y métricas del software; pruebas y mantenimiento de software; métodos y modelos de desarrollo; seguridad de sistemas; actualizaciones de software dinámicas; integración de sistemas; modelado de procesos de negocio; resolución inteligente de problemas; sistemas multiagente; y soluciones que involucran big data, Internet de las cosas e inteligencia empresarial. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017. The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and maintenance; development methods and models; systems security; dynamic software updates; systems integration; business process modelling; intelligent problem solving; multi-agent systems; and solutions involving big data, the Internet of Things and business intelligence. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Technologies : 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers / [documento electrónico] / Cabello, Enrique, ; Cardoso, Jorge, ; Maciaszek, Leszek A., ; van Sinderen, Marten, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 309 p. 80 ilustraciones.
ISBN : 978-3-319-93641-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software Inteligencia artificial Software de la aplicacion Programación de computadoras Compiladores (programas informáticos) Computadoras digitales electrónicas Aplicaciones informáticas y de sistemas de información Técnicas de programación Compiladores e intérpretes Rendimiento y evaluación del sistema Clasificación: 005.1 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 12.ª Conferencia Internacional Conjunta sobre TecnologÃas de Software, ICSOFT 2017, celebrada en Madrid, España, en julio de 2017. Los 17 artÃculos completos revisados ​​y los 24 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 85 presentaciones. Los temas tratados en los artÃculos incluyen: calidad y métricas del software; pruebas y mantenimiento de software; métodos y modelos de desarrollo; seguridad de sistemas; actualizaciones de software dinámicas; integración de sistemas; modelado de procesos de negocio; resolución inteligente de problemas; sistemas multiagente; y soluciones que involucran big data, Internet de las cosas e inteligencia empresarial. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017. The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and maintenance; development methods and models; systems security; dynamic software updates; systems integration; business process modelling; intelligent problem solving; multi-agent systems; and solutions involving big data, the Internet of Things and business intelligence. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Software Technologies : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: van Sinderen, Marten, ; Maciaszek, Leszek A., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIV, 421 p. 207 ilustraciones, 95 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-29157-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software IngenierÃa Informática Red de computadoras Inteligencia artificial Ordenadores Profesiones Software de la aplicacion IngenierÃa Informática y Redes La profesión informática Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 13.ª Conferencia Internacional Conjunta sobre TecnologÃas de Software, ICSOFT 2018, celebrada en Oporto, Portugal, en julio de 2018. Los 18 artÃculos completos revisados ​​fueron cuidadosamente revisados ​​y seleccionados entre 117 presentaciones. Los temas tratados en los artÃculos incluyen: 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, etc. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Joint Conference on Software Technologies, ICSOFT 2018, held in Porto, Portugal, in July 2018. The 18 revised full papers were carefully reviewed and selected from 117 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Technologies : 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers [documento electrónico] / van Sinderen, Marten, ; Maciaszek, Leszek A., . - 1 ed. . - [s.l.] : Springer, 2019 . - XIV, 421 p. 207 ilustraciones, 95 ilustraciones en color.
ISBN : 978-3-030-29157-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software IngenierÃa Informática Red de computadoras Inteligencia artificial Ordenadores Profesiones Software de la aplicacion IngenierÃa Informática y Redes La profesión informática Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 13.ª Conferencia Internacional Conjunta sobre TecnologÃas de Software, ICSOFT 2018, celebrada en Oporto, Portugal, en julio de 2018. Los 18 artÃculos completos revisados ​​fueron cuidadosamente revisados ​​y seleccionados entre 117 presentaciones. Los temas tratados en los artÃculos incluyen: 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, etc. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Joint Conference on Software Technologies, ICSOFT 2018, held in Porto, Portugal, in July 2018. The 18 revised full papers were carefully reviewed and selected from 117 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Software Technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / Tipo de documento: documento electrónico Autores: van Sinderen, Marten, ; Maciaszek, Leszek A., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 229 p. 152 ilustraciones, 47 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-52991-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: IngenierÃa de software Computadoras Propósitos especiales Red de computadoras Sistemas informáticos Software de la aplicacion Sistemas de propósito especial y basados ​​en aplicaciones Redes de comunicación informática Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 14.ª Conferencia Internacional sobre TecnologÃas de Software, ICSOFT 2019, celebrada en Praga, República Checa, en julio de 2019. Los 10 artÃculos completos revisados ​​fueron cuidadosamente revisados ​​y seleccionados entre 116 presentaciones. Los temas tratados en los artÃculos incluyen: 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, etc. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Technologies : 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / [documento electrónico] / van Sinderen, Marten, ; Maciaszek, Leszek A., . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 229 p. 152 ilustraciones, 47 ilustraciones en color.
ISBN : 978-3-030-52991-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: IngenierÃa de software Computadoras Propósitos especiales Red de computadoras Sistemas informáticos Software de la aplicacion Sistemas de propósito especial y basados ​​en aplicaciones Redes de comunicación informática Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye las actas posteriores a la conferencia, exhaustivamente arbitradas, de la 14.ª Conferencia Internacional sobre TecnologÃas de Software, ICSOFT 2019, celebrada en Praga, República Checa, en julio de 2019. Los 10 artÃculos completos revisados ​​fueron cuidadosamente revisados ​​y seleccionados entre 116 presentaciones. Los temas tratados en los artÃculos incluyen: 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, etc. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Software Technologies : 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. Idioma : Inglés (eng) 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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Software Technologies : 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.
Idioma : Inglés (eng)
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 Clasificación: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
