Información del autor
Autor van Sinderen, Marten |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsqueda12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers / Cabello, Enrique ; Cardoso, Jorge ; Maciaszek, Leszek A. ; van Sinderen, Marten
TÃtulo : 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. 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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 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. 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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. 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: 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. 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.
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: 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. 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. 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: 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. 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.
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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
