Indexaxión 005.1 : Programación (Computadoras)
005 Ciencia de los computadores (Programación, programas, datos de computador)Documentos en la biblioteca con la clasificación 005.1 (393)
Hacer una sugerencia 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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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.
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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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
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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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.
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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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
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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. . 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 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.
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 Índice Dewey: 005.1 Programación (Computadoras) 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. . 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
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. Palabras clave: Ingeniería de software Operaciones de TI Gestión de software Índice Dewey: 005.1 Programación (Computadoras) 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. . 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 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.
Palabras clave: Ingeniería de software Operaciones de TI Gestión de software Índice Dewey: 005.1 Programación (Computadoras) 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. . 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
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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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.
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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
