Información de la indexación
005 Ciencia de los computadores (Programación, programas, datos de computador)Documentos en la biblioteca con la clasificación 005.1 (436)
Crear una solicitud de compra Refinar búsqueda10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers / Ferguson, Donald ; Pahl, Claus ; Helfert, Markus
TÃtulo : 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Ferguson, Donald, ; Pahl, Claus, ; Helfert, Markus, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 345 p. 133 ilustraciones, 94 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-72369-9 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 Red de computadoras Sistemas operativos (computadoras) Computadoras Propósitos especiales Sistemas informáticos Software de la aplicacion Redes de comunicación informática Sistemas operativos Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye artÃculos ampliados, revisados ​​y seleccionados de la 10.ª Conferencia Internacional sobre Computación en la Nube y Ciencia de Servicios, CLOSER 2020, celebrada en Praga, República Checa, en mayo de 2020. Debido a la pandemia de COVID-19, la conferencia se celebró en formato virtual. . Los 14 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de un total de 69 presentaciones. CLOSER 2020 se centra en el área emergente de la computación en la nube, inspirada en algunos de los últimos avances relacionados con la infraestructura, las operaciones y los servicios disponibles a través de la red global. Nota de contenido: Trusted Client-side Encryption for Cloud Storage -- Relevance of Near-Term Quantum Computing in the Cloud: A Humanities Perspective -- A Framework for Comparative Evaluation of High-Performance Virtualized Networking Mechanisms -- Cloud Computing for Enabling Big Data Analysis -- A Multi-cloud Parallel Selection Approach for Unlinked Microservice Mapped to Budget's Quota: The PU M^2Q -- Live Migration Timing Optimization Integration with VMware Environments -- Using Self-Organizing Maps for the Behavioral Analysis of Virtualized Network Functions -- From DevOps to NoOps: Is It Worth It? -- Fuzzy Container Orchestration for Self-adaptive Edge Architectures -- Performance Management in Clustered Edge Architectures using Particle Swarm Optimization -- Investigating IoT Application Behaviour in Simulated Fog Environments -- A Case For User-defined Governance of Pure Edge Data-driven Applications -- Cluster-agnostic Orchestration of Containerised Applications -- Self-healing in the Scope of Software-based Computer and Mobile Networks. Tipo de medio : Computadora Summary : This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, held in Prague, Czech Republic, in May 2020. Due to the COVID-19 pandemic the conference was held in a virtual format. The 14 papers presented in this volume were carefully reviewed and selected from a total of 69 submissions. CLOSER 2020 focuses on the emerging area of cloud computing, inspired by some latest advances that concern the infrastructure, operations, and available servicesthrough the global network. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers [documento electrónico] / Ferguson, Donald, ; Pahl, Claus, ; Helfert, Markus, . - 1 ed. . - [s.l.] : Springer, 2021 . - XII, 345 p. 133 ilustraciones, 94 ilustraciones en color.
ISBN : 978-3-030-72369-9
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 Red de computadoras Sistemas operativos (computadoras) Computadoras Propósitos especiales Sistemas informáticos Software de la aplicacion Redes de comunicación informática Sistemas operativos Sistemas de propósito especial y basados ​​en aplicaciones Implementación de sistema informático Aplicaciones informáticas y de sistemas de información Clasificación: 005.1 Resumen: Este libro constituye artÃculos ampliados, revisados ​​y seleccionados de la 10.ª Conferencia Internacional sobre Computación en la Nube y Ciencia de Servicios, CLOSER 2020, celebrada en Praga, República Checa, en mayo de 2020. Debido a la pandemia de COVID-19, la conferencia se celebró en formato virtual. . Los 14 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de un total de 69 presentaciones. CLOSER 2020 se centra en el área emergente de la computación en la nube, inspirada en algunos de los últimos avances relacionados con la infraestructura, las operaciones y los servicios disponibles a través de la red global. Nota de contenido: Trusted Client-side Encryption for Cloud Storage -- Relevance of Near-Term Quantum Computing in the Cloud: A Humanities Perspective -- A Framework for Comparative Evaluation of High-Performance Virtualized Networking Mechanisms -- Cloud Computing for Enabling Big Data Analysis -- A Multi-cloud Parallel Selection Approach for Unlinked Microservice Mapped to Budget's Quota: The PU M^2Q -- Live Migration Timing Optimization Integration with VMware Environments -- Using Self-Organizing Maps for the Behavioral Analysis of Virtualized Network Functions -- From DevOps to NoOps: Is It Worth It? -- Fuzzy Container Orchestration for Self-adaptive Edge Architectures -- Performance Management in Clustered Edge Architectures using Particle Swarm Optimization -- Investigating IoT Application Behaviour in Simulated Fog Environments -- A Case For User-defined Governance of Pure Edge Data-driven Applications -- Cluster-agnostic Orchestration of Containerised Applications -- Self-healing in the Scope of Software-based Computer and Mobile Networks. Tipo de medio : Computadora Summary : This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, held in Prague, Czech Republic, in May 2020. Due to the COVID-19 pandemic the conference was held in a virtual format. The 14 papers presented in this volume were carefully reviewed and selected from a total of 69 submissions. CLOSER 2020 focuses on the emerging area of cloud computing, inspired by some latest advances that concern the infrastructure, operations, and available servicesthrough the global network. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings Tipo de documento: documento electrónico Autores: Attiogbé, Christian, ; Ben Yahia, Sadok, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIX, 321 p. 119 ilustraciones, 101 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-78428-7 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 Red de computadoras Computadoras Propósitos especiales Microprogramación Estructuras de datos (Informática) TeorÃa de la información Procesamiento de datos Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación. Estructuras de datos y teorÃa de la información MinerÃa de datos y descubrimiento de conocimientos Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la décima Conferencia Internacional sobre IngenierÃa de Modelos y Datos, MEDI 2021, celebrada en Tallin, Estonia, en junio de 2021. Los 16 artÃculos completos y 8 artÃculos breves presentados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 47 presentaciones. . Además, el volumen incluye 3 resúmenes de charlas invitadas. Los artÃculos cubren amplias áreas de investigación tanto en aspectos teóricos, de sistemas como prácticos. Algunos artÃculos incluyen minerÃa de bases de datos complejas, sistemas concurrentes, aprendizaje automático, optimización de enjambres, procesamiento de consultas, web semántica, bases de datos gráficas, métodos formales, ingenierÃa basada en modelos, blockchain, sistemas ciberfÃsicos, aplicaciones de IoT y sistemas inteligentes. Debido a la pandemia de Corona, la conferencia se celebró de forma virtual. Nota de contenido: Stepwise Modelling and Analysis -- Multiperspective Modelling -- Modelling and Interactions -- Machine Learning -- Data Management -- Blockchains -- Databases and Ontologies. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021. The 16 full papers and 8 short papers presented in this book were carefully reviewed and selected from 47 submissions. Additionally, the volume includes 3 abstracts of invited talks. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems. Due to the Corona pandemic the conference was held virtually. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings [documento electrónico] / Attiogbé, Christian, ; Ben Yahia, Sadok, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIX, 321 p. 119 ilustraciones, 101 ilustraciones en color.
ISBN : 978-3-030-78428-7
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 Red de computadoras Computadoras Propósitos especiales Microprogramación Estructuras de datos (Informática) TeorÃa de la información Procesamiento de datos Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones Estructuras de control y microprogramación. Estructuras de datos y teorÃa de la información MinerÃa de datos y descubrimiento de conocimientos Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la décima Conferencia Internacional sobre IngenierÃa de Modelos y Datos, MEDI 2021, celebrada en Tallin, Estonia, en junio de 2021. Los 16 artÃculos completos y 8 artÃculos breves presentados en este libro fueron cuidadosamente revisados ​​y seleccionados entre 47 presentaciones. . Además, el volumen incluye 3 resúmenes de charlas invitadas. Los artÃculos cubren amplias áreas de investigación tanto en aspectos teóricos, de sistemas como prácticos. Algunos artÃculos incluyen minerÃa de bases de datos complejas, sistemas concurrentes, aprendizaje automático, optimización de enjambres, procesamiento de consultas, web semántica, bases de datos gráficas, métodos formales, ingenierÃa basada en modelos, blockchain, sistemas ciberfÃsicos, aplicaciones de IoT y sistemas inteligentes. Debido a la pandemia de Corona, la conferencia se celebró de forma virtual. Nota de contenido: Stepwise Modelling and Analysis -- Multiperspective Modelling -- Modelling and Interactions -- Machine Learning -- Data Management -- Blockchains -- Databases and Ontologies. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on Model and Data Engineering, MEDI 2021, held in Tallinn, Estonia, in June 2021. The 16 full papers and 8 short papers presented in this book were carefully reviewed and selected from 47 submissions. Additionally, the volume includes 3 abstracts of invited talks. The papers cover broad research areas on both theoretical, systems and practical aspects. Some papers include mining complex databases, concurrent systems, machine learning, swarm optimization, query processing, semantic web, graph databases, formal methods, model-driven engineering, blockchain, cyber physical systems, IoT applications, and smart systems. Due to the Corona pandemic the conference was held virtually. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings Tipo de documento: documento electrónico Autores: Khendek, Ferhat, ; Gotzhein, Reinhard, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 247 p. 66 ilustraciones ISBN/ISSN/DL: 978-3-030-01042-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 Ordenadores IngenierÃa Informática Red de computadoras Hardware de la computadora IngenierÃa Informática y Redes Operaciones de TI Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Análisis y Modelado de Sistemas, SAM 2018, celebrada en Copenhague, Dinamarca, en octubre de 2018. Los 12 artÃculos completos y 2 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 24 presentaciones. Los artÃculos describen innovaciones, tendencias y experiencias en el modelado y análisis de sistemas complejos utilizando las notaciones del lenguaje de especificación y descripción (SDL-2010) y del gráfico de secuencia de mensajes (MSC) del UIT-T, asà como lenguajes de diseño de sistemas relacionados, incluidos UML y ASN. .1, TTCN, SysML y la notación de requisitos del usuario (URN). La edición de este año de SAM tendrá como tema "Lenguajes, métodos y herramientas para la ingenierÃa de sistemas", incluidos lenguajes y métodos estandarizados por el ITU-T y lenguajes de dominios especÃficos. También se incluyen tecnologÃas de ingenierÃa de software, como ingenierÃa de requisitos, verificación y validación de software y generación automatizada de código. Nota de contenido: Modeling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns -- Scheduling Architectures for Scientific Workows in the Cloud -- CREST -- A DSL for Reactive Cyber-Physical Systems -- On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification -- Distributed Computing on Distributed Memory -- Pattern Libraries Guiding the Model-based Reuse of Automotive Solutions -- Enabling Performance Modeling for the Masses: Initial Experiences -- Realizability of Service Specifications -- An Arithmetic Semantics for GRL Goal Models with Function Generation -- Textual User Requirements Notation -- A Comparative Analysis of ITU-MSC-based Requirements Specification Approaches used in the Automotive Industry -- Towards Online Collaborative Multi-View Modeling -- Collaborative Software Design and Modeling in Open Source Systems -- The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year's edition of SAM will be under the theme "Languages, Methods, and Tools for Systems Engineering", including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings [documento electrónico] / Khendek, Ferhat, ; Gotzhein, Reinhard, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 247 p. 66 ilustraciones.
ISBN : 978-3-030-01042-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 Ordenadores IngenierÃa Informática Red de computadoras Hardware de la computadora IngenierÃa Informática y Redes Operaciones de TI Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Análisis y Modelado de Sistemas, SAM 2018, celebrada en Copenhague, Dinamarca, en octubre de 2018. Los 12 artÃculos completos y 2 artÃculos breves presentados fueron cuidadosamente revisados ​​y seleccionados entre 24 presentaciones. Los artÃculos describen innovaciones, tendencias y experiencias en el modelado y análisis de sistemas complejos utilizando las notaciones del lenguaje de especificación y descripción (SDL-2010) y del gráfico de secuencia de mensajes (MSC) del UIT-T, asà como lenguajes de diseño de sistemas relacionados, incluidos UML y ASN. .1, TTCN, SysML y la notación de requisitos del usuario (URN). La edición de este año de SAM tendrá como tema "Lenguajes, métodos y herramientas para la ingenierÃa de sistemas", incluidos lenguajes y métodos estandarizados por el ITU-T y lenguajes de dominios especÃficos. También se incluyen tecnologÃas de ingenierÃa de software, como ingenierÃa de requisitos, verificación y validación de software y generación automatizada de código. Nota de contenido: Modeling Data Protection Vulnerabilities of Cloud Systems using Risk Patterns -- Scheduling Architectures for Scientific Workows in the Cloud -- CREST -- A DSL for Reactive Cyber-Physical Systems -- On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification -- Distributed Computing on Distributed Memory -- Pattern Libraries Guiding the Model-based Reuse of Automotive Solutions -- Enabling Performance Modeling for the Masses: Initial Experiences -- Realizability of Service Specifications -- An Arithmetic Semantics for GRL Goal Models with Function Generation -- Textual User Requirements Notation -- A Comparative Analysis of ITU-MSC-based Requirements Specification Approaches used in the Automotive Industry -- Towards Online Collaborative Multi-View Modeling -- Collaborative Software Design and Modeling in Open Source Systems -- The Impact of Integrating Agile Software Development and Model-Driven Development: A Comparative Case Study. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year's edition of SAM will be under the theme "Languages, Methods, and Tools for Systems Engineering", including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings Tipo de documento: documento electrónico Autores: Winkler, Dietmar, ; Biffl, Stefan, ; Bergsmann, Johannes, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 191 p. 36 ilustraciones ISBN/ISSN/DL: 978-3-319-71440-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 Operaciones de TI Gestión de software Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la décima Conferencia Software Quality Days, SWQD 2018, celebrada en Viena, Austria, en enero de 2018. La conferencia Software Quality Days (SWQD) comenzó en 2009 y ha crecido hasta convertirse en la mayor conferencia sobre calidad del software en Europa. con una comunidad fuerte. El programa de la conferencia SWQD está diseñado para abarcar una combinación estimulante de presentaciones prácticas y nuevos temas de investigación en presentaciones cientÃficas. El tema rector de la conferencia SWQD 2018 es "Calidad del software 4.0: métodos y herramientas para mejorar el software y los sistemas", ya que las tecnologÃas novedosas incluyen nuevos desafÃos y pueden requerir métodos y herramientas nuevos y adaptados para respaldar las actividades de control de calidad desde el principio. Los 6 artÃculos completos y 2 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones. El volumen también contiene 2 charlas invitadas. Las contribuciones se organizaron en secciones temáticas denominadas: seguridad y protección; ingenierÃa de requisitos y pruebas basadas en requisitos; crowdsourcing en ingenierÃa de software; arquitectura de software y sistemas; experimentación en ingenierÃa de software; y entornos inteligentes. . Nota de contenido: Safety and Security -- Security Challenges in Cyber-Physical Production Systems -- Monitoring of access control policy for refinement and improvements -- Requirements Engineering & Requirements-Based Testing -- On Evidence-based Risk Management in Requirements Engineering -- Requirement-based Testing - Extracting Logical Test Cases from Requirement Documents -- Crowdsourcing in Software Engineering -- Expert Sourcing to support the Identification of Model Elements in System Descriptions -- Software and Systems Architecture -- Are your Requirements Covered -- High Quality at Short Time-to-Market: Challenges towards this Goal and Guidelines for the Realization -- Prioritizing Corrective Maintenance Activities for Android Applications: An Industrial Case Study on Android Crash Reports. Experimentation in Software Engineering -- Evaluation of an Integrated Tool Environment for Experimentation in DSL Engineering -- Smart Environments -- Leveraging Smart Environments for runtime resources management.  . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th Software Quality Days Conference, SWQD 2018, held in Vienna, Austria, in January 2018. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conferences on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new research topics in scientific presentations. The guiding conference topic of the SWQD 2018 is "Software Quality 4.0: Methods and Tools for better Software and Systems", as novel technologies include new challenges and might require new and adapted methods and tools to support quality assurance activities early. The 6 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 16 submissions. The volume also contains 2 invited talks. The contributions were organized in topical sections named: safety and security; requirements engineering and requirements-based testing; crowdsourcing in software engineering; software and systems architecture; experimentation in software engineering; and smart environments. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings [documento electrónico] / Winkler, Dietmar, ; Biffl, Stefan, ; Bergsmann, Johannes, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 191 p. 36 ilustraciones.
ISBN : 978-3-319-71440-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 Operaciones de TI Gestión de software Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la décima Conferencia Software Quality Days, SWQD 2018, celebrada en Viena, Austria, en enero de 2018. La conferencia Software Quality Days (SWQD) comenzó en 2009 y ha crecido hasta convertirse en la mayor conferencia sobre calidad del software en Europa. con una comunidad fuerte. El programa de la conferencia SWQD está diseñado para abarcar una combinación estimulante de presentaciones prácticas y nuevos temas de investigación en presentaciones cientÃficas. El tema rector de la conferencia SWQD 2018 es "Calidad del software 4.0: métodos y herramientas para mejorar el software y los sistemas", ya que las tecnologÃas novedosas incluyen nuevos desafÃos y pueden requerir métodos y herramientas nuevos y adaptados para respaldar las actividades de control de calidad desde el principio. Los 6 artÃculos completos y 2 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 16 presentaciones. El volumen también contiene 2 charlas invitadas. Las contribuciones se organizaron en secciones temáticas denominadas: seguridad y protección; ingenierÃa de requisitos y pruebas basadas en requisitos; crowdsourcing en ingenierÃa de software; arquitectura de software y sistemas; experimentación en ingenierÃa de software; y entornos inteligentes. . Nota de contenido: Safety and Security -- Security Challenges in Cyber-Physical Production Systems -- Monitoring of access control policy for refinement and improvements -- Requirements Engineering & Requirements-Based Testing -- On Evidence-based Risk Management in Requirements Engineering -- Requirement-based Testing - Extracting Logical Test Cases from Requirement Documents -- Crowdsourcing in Software Engineering -- Expert Sourcing to support the Identification of Model Elements in System Descriptions -- Software and Systems Architecture -- Are your Requirements Covered -- High Quality at Short Time-to-Market: Challenges towards this Goal and Guidelines for the Realization -- Prioritizing Corrective Maintenance Activities for Android Applications: An Industrial Case Study on Android Crash Reports. Experimentation in Software Engineering -- Evaluation of an Integrated Tool Environment for Experimentation in DSL Engineering -- Smart Environments -- Leveraging Smart Environments for runtime resources management.  . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th Software Quality Days Conference, SWQD 2018, held in Vienna, Austria, in January 2018. The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conferences on software quality in Europe with a strong community. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new research topics in scientific presentations. The guiding conference topic of the SWQD 2018 is "Software Quality 4.0: Methods and Tools for better Software and Systems", as novel technologies include new challenges and might require new and adapted methods and tools to support quality assurance activities early. The 6 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 16 submissions. The volume also contains 2 invited talks. The contributions were organized in topical sections named: safety and security; requirements engineering and requirements-based testing; crowdsourcing in software engineering; software and systems architecture; experimentation in software engineering; and smart environments. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Piskac, Ruzica, ; Rümmer, Philipp, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XVI, 345 p. 83 ilustraciones, 10 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-03592-1 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 Ciencias de la Computación Compiladores (programas informáticos) Computadoras digitales electrónicas Computadoras Propósitos especiales Ordenadores Profesiones Lógica informática y fundamentos de la programación. Compiladores e intérpretes Rendimiento y evaluación del sistema Sistemas de propósito especial y basados ​​en aplicaciones La profesión informática Clasificación: 005.1 Resumen: Este volumen constituye las actas posteriores a la conferencia, exhaustivamente revisadas, de la 10.ª Conferencia Internacional sobre Software Verificado: TeorÃas, Herramientas y Experimentos, VSTTE 2018, celebrada en Oxford, Reino Unido, en julio de 2018. Los 19 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados de 24 presentaciones. Los artÃculos describen esfuerzos de verificación a gran escala que involucran colaboración, unificación de teorÃas, integración de herramientas y conocimiento de dominio formalizado, asà como experimentos novedosos y estudios de casos que evalúan técnicas y tecnologÃas de verificación. Tipo de medio : Computadora Summary : This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers [documento electrónico] / Piskac, Ruzica, ; Rümmer, Philipp, . - 1 ed. . - [s.l.] : Springer, 2018 . - XVI, 345 p. 83 ilustraciones, 10 ilustraciones en color.
ISBN : 978-3-030-03592-1
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 Ciencias de la Computación Compiladores (programas informáticos) Computadoras digitales electrónicas Computadoras Propósitos especiales Ordenadores Profesiones Lógica informática y fundamentos de la programación. Compiladores e intérpretes Rendimiento y evaluación del sistema Sistemas de propósito especial y basados ​​en aplicaciones La profesión informática Clasificación: 005.1 Resumen: Este volumen constituye las actas posteriores a la conferencia, exhaustivamente revisadas, de la 10.ª Conferencia Internacional sobre Software Verificado: TeorÃas, Herramientas y Experimentos, VSTTE 2018, celebrada en Oxford, Reino Unido, en julio de 2018. Los 19 artÃculos completos presentados fueron cuidadosamente revisados ​​y seleccionados de 24 presentaciones. Los artÃculos describen esfuerzos de verificación a gran escala que involucran colaboración, unificación de teorÃas, integración de herramientas y conocimiento de dominio formalizado, asà como experimentos novedosos y estudios de casos que evalúan técnicas y tecnologÃas de verificación. Tipo de medio : Computadora Summary : This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
