Información del autor
Autor Fill, Hans-Georg |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers / van Sinderen, Marten ; Maciaszek, Leszek A. ; Fill, Hans-Georg
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 : Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bassiliades, Nick, ; Ermolayev, Vadim, ; Fill, Hans-Georg, ; Yakovyna, Vitaliy, ; Mayr, Heinrich C., ; Nikitchenko, Mykola, ; Zholtkevych, Grygoriy, ; Spivakovsky, Aleksander, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 255 p. 102 ilustraciones ISBN/ISSN/DL: 978-3-319-76168-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: Educación Computadoras y Educación Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema IngenierÃa de software Inteligencia artificial Informática Evaluación Computadoras digitales electrónicas Procesamiento de datos Clasificación: 371.334 Resumen: Este libro contiene versiones ampliadas de los mejores artÃculos presentados en la 13.ª Conferencia Internacional sobre TecnologÃas de la Información y las Comunicaciones en la Educación, la Investigación y las Aplicaciones Industriales, ICTERI 2017, celebrada en Kiev, Ucrania, en mayo de 2017. Los 11 artÃculos completos revisados ​​incluidos en este El volumen fue cuidadosamente revisado y seleccionado entre 151 presentaciones iniciales durante varias rondas de revisión. Los artÃculos están organizados en las siguientes secciones temáticas: modelado y marcos teóricos; TIC en la enseñanza, el aprendizaje y la gestión educativa; y evaluación y aplicaciones de las TIC. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Information and Communication Technologies in Education, Research, and Industrial Applications : 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers [documento electrónico] / Bassiliades, Nick, ; Ermolayev, Vadim, ; Fill, Hans-Georg, ; Yakovyna, Vitaliy, ; Mayr, Heinrich C., ; Nikitchenko, Mykola, ; Zholtkevych, Grygoriy, ; Spivakovsky, Aleksander, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 255 p. 102 ilustraciones.
ISBN : 978-3-319-76168-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Educación Computadoras y Educación Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema IngenierÃa de software Inteligencia artificial Informática Evaluación Computadoras digitales electrónicas Procesamiento de datos Clasificación: 371.334 Resumen: Este libro contiene versiones ampliadas de los mejores artÃculos presentados en la 13.ª Conferencia Internacional sobre TecnologÃas de la Información y las Comunicaciones en la Educación, la Investigación y las Aplicaciones Industriales, ICTERI 2017, celebrada en Kiev, Ucrania, en mayo de 2017. Los 11 artÃculos completos revisados ​​incluidos en este El volumen fue cuidadosamente revisado y seleccionado entre 151 presentaciones iniciales durante varias rondas de revisión. Los artÃculos están organizados en las siguientes secciones temáticas: modelado y marcos teóricos; TIC en la enseñanza, el aprendizaje y la gestión educativa; y evaluación y aplicaciones de las TIC. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
