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.11 (54)
Crear una solicitud de compra Refinar búsqueda18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings / Peng, Xin ; Ampatzoglou, Apostolos ; Bhowmik, Tanmay
TÃtulo : 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings Tipo de documento: documento electrónico Autores: Peng, Xin, ; Ampatzoglou, Apostolos, ; Bhowmik, Tanmay, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: X, 257 p. 90 ilustraciones, 44 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-22888-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: Programación de computadoras IngenierÃa de software Ordenadores Computadoras digitales electrónicas Red de computadoras Inteligencia artificial Técnicas de programación Entornos informáticos Rendimiento y evaluación del sistema Redes de comunicación informática Clasificación: 005.11 Resumen: Este libro constituye las actas de la 18.ª Conferencia Internacional sobre Reutilización de Software y Sistemas, ICSR 2019, celebrada en Cincinnati, Ohio, EE. UU., en junio de 2019. Los 13 artÃculos de investigación incluidos en este libro fueron cuidadosamente revisados ​​y seleccionados entre 32 presentaciones. Además, se incluyen 3 artÃculos de innovación de la industria. Los artÃculos se organizaron en secciones temáticas denominadas: práctica de reutilización de software; reutilización de requisitos y lÃnea de productos de software; reutilización y diseño y evolución; reutilización inteligente de software; y desarrollo de software de dominio especÃfico. . Nota de contenido: Software Reuse Practice -- A Flexible and Efficient Approach to Component Test in Time-Critical Scenarios -- Software Product Line and Requirements Reuse -- Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines -- Towards a Software System for Facilitating the Reuse of Business Processes -- Automated Support to Capture Creative Requirements via Requirements Reuse -- A Comparative Analysis of Game Engines to Develop Core Assets for a Software Product Line of Mini-Games -- Reuse and Design and Evolution -- Behavioral Evolution of Design Patterns: Understanding Software Reuse through the Evolution of Pattern Behavior -- Developing a Flexible Simulation-optimization Framework to Facilitate Sustainable Urban Drainage Systems Designs through Software Reuse -- Automatically Extracting Bug Reproducing Steps from Android Bug Reports -- Intelligent Software Reuse -- Searching Software Knowledge Graph with Question -- SemiTagRec: A Semi-supervised Learning based Tag Recommendation Approach for Docker Repositories -- Slicing Based Code Recommendation for Type Based Instance Retrieval -- NLI2Code: Reusing Libraries with Natural Language Interface -- Domain-Specific Software Development -- A Double-Edged Sword? Software Reuse and Potential Security Vulnerabilities -- ACO-RR: Ant Colony Optimization Ridge Regression in Reuse of Smart City System -- An Improved Approach for Complex Activity Recognition in Smart Homes -- Examining the reusability of Smart Home applications: A Case Study on Eclipse Smart Home. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 18th International Conference on Software and Systems Reuse, ICSR 2019, held in Cincinnati, Ohio, USA in June 2019. The 13 research papers included in this book were carefully reviewed and selected from 32 submissions. In addition, 3 industry innovation papers are included. The papers were organized in topical sections named: software reuse practice; software product line and requirements reuse; reuse and design and evolution; intelligent software reuse; and domain-specific software development. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings [documento electrónico] / Peng, Xin, ; Ampatzoglou, Apostolos, ; Bhowmik, Tanmay, . - 1 ed. . - [s.l.] : Springer, 2019 . - X, 257 p. 90 ilustraciones, 44 ilustraciones en color.
ISBN : 978-3-030-22888-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: Programación de computadoras IngenierÃa de software Ordenadores Computadoras digitales electrónicas Red de computadoras Inteligencia artificial Técnicas de programación Entornos informáticos Rendimiento y evaluación del sistema Redes de comunicación informática Clasificación: 005.11 Resumen: Este libro constituye las actas de la 18.ª Conferencia Internacional sobre Reutilización de Software y Sistemas, ICSR 2019, celebrada en Cincinnati, Ohio, EE. UU., en junio de 2019. Los 13 artÃculos de investigación incluidos en este libro fueron cuidadosamente revisados ​​y seleccionados entre 32 presentaciones. Además, se incluyen 3 artÃculos de innovación de la industria. Los artÃculos se organizaron en secciones temáticas denominadas: práctica de reutilización de software; reutilización de requisitos y lÃnea de productos de software; reutilización y diseño y evolución; reutilización inteligente de software; y desarrollo de software de dominio especÃfico. . Nota de contenido: Software Reuse Practice -- A Flexible and Efficient Approach to Component Test in Time-Critical Scenarios -- Software Product Line and Requirements Reuse -- Extending FragOP Domain Reusable Components to Support Product Customization in the Context of Software Product Lines -- Towards a Software System for Facilitating the Reuse of Business Processes -- Automated Support to Capture Creative Requirements via Requirements Reuse -- A Comparative Analysis of Game Engines to Develop Core Assets for a Software Product Line of Mini-Games -- Reuse and Design and Evolution -- Behavioral Evolution of Design Patterns: Understanding Software Reuse through the Evolution of Pattern Behavior -- Developing a Flexible Simulation-optimization Framework to Facilitate Sustainable Urban Drainage Systems Designs through Software Reuse -- Automatically Extracting Bug Reproducing Steps from Android Bug Reports -- Intelligent Software Reuse -- Searching Software Knowledge Graph with Question -- SemiTagRec: A Semi-supervised Learning based Tag Recommendation Approach for Docker Repositories -- Slicing Based Code Recommendation for Type Based Instance Retrieval -- NLI2Code: Reusing Libraries with Natural Language Interface -- Domain-Specific Software Development -- A Double-Edged Sword? Software Reuse and Potential Security Vulnerabilities -- ACO-RR: Ant Colony Optimization Ridge Regression in Reuse of Smart City System -- An Improved Approach for Complex Activity Recognition in Smart Homes -- Examining the reusability of Smart Home applications: A Case Study on Eclipse Smart Home. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 18th International Conference on Software and Systems Reuse, ICSR 2019, held in Cincinnati, Ohio, USA in June 2019. The 13 research papers included in this book were carefully reviewed and selected from 32 submissions. In addition, 3 industry innovation papers are included. The papers were organized in topical sections named: software reuse practice; software product line and requirements reuse; reuse and design and evolution; intelligent software reuse; and domain-specific software development. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings Tipo de documento: documento electrónico Autores: Ben Sassi, Sihem, ; Ducasse, Stéphane, ; Mili, Hafedh, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 306 p. 97 ilustraciones, 69 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-64694-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: Programación de computadoras IngenierÃa de software Compiladores (programas informáticos) IngenierÃa Informática Red de computadoras Técnicas de programación Compiladores e intérpretes IngenierÃa Informática y Redes Redes de comunicación informática Clasificación: 005.11 Resumen: Este libro constituye las actas de la 19.ª Conferencia Internacional sobre Reutilización de Software y Sistemas, ICSR 2020, celebrada en Hammamet, Túnez, en diciembre de 2020. Debido a la pandemia de COVID-19, la Conferencia se celebró de forma virtual. Los 16 artÃculos completos y 2 artÃculos breves incluidos en este libro fueron cuidadosamente revisados ​​y seleccionados entre 60 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas: modelado, reutilización en la práctica, reingenierÃa, recomendación y análisis empÃrico. Nota de contenido: Modelling -- Semantic Software Capability Profile based on Enterprise Architecture for Software Reuse -- Safety Patterns for SysML: What Does OMG Specify? -- A Hybrid Approach based on reuse techniques for Autonomic Adaptation of Business Processes -- Reusable Formal Models for Threat Specification, Detection, and Treatment -- Dynamic Reconfiguration Model of Cloud Composite Services Using Event-B -- Reuse in Practice -- 15 years of reuse experience in evolutionary prototyping for the defense industry -- CxDev: A Case Study in Domain Engineering for Customer eXperience Management -- Reengineering -- Modular Moose: A new generation of software reverse engineering platform -- DeepClone: Modeling Clones to Generate Code Predictions -- Analysing Microsoft Access Projects: Building a model in a Partially Observable Domain -- Recommendation -- Automated Reuse Recommendation of Product Line Assets based on Natural Language Requirements -- Learning to Recommend Trigger-Action Rules for End-User Development: A Knowledge -- Graph Based Approach -- AndroLib: Third-Party Software Library Recommendation for Android Apps -- Investigating the Impact of Functional Size Measurement on Predicting Software Enhancement Effort using Correlation-based Feature Selection Algorithm and SVR method -- How Does library Migration Impact Software Quality and Comprehension? An Empirical Study -- How Do Developers Refactor Code to Improve Code Reusability? -- An Exploratory Study on How Software Reuse is Discussed in Stack Over ow. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually. The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling, reuse in practice, reengineering, recommendation, and empirical analysis. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings [documento electrónico] / Ben Sassi, Sihem, ; Ducasse, Stéphane, ; Mili, Hafedh, . - 1 ed. . - [s.l.] : Springer, 2020 . - XII, 306 p. 97 ilustraciones, 69 ilustraciones en color.
ISBN : 978-3-030-64694-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: Programación de computadoras IngenierÃa de software Compiladores (programas informáticos) IngenierÃa Informática Red de computadoras Técnicas de programación Compiladores e intérpretes IngenierÃa Informática y Redes Redes de comunicación informática Clasificación: 005.11 Resumen: Este libro constituye las actas de la 19.ª Conferencia Internacional sobre Reutilización de Software y Sistemas, ICSR 2020, celebrada en Hammamet, Túnez, en diciembre de 2020. Debido a la pandemia de COVID-19, la Conferencia se celebró de forma virtual. Los 16 artÃculos completos y 2 artÃculos breves incluidos en este libro fueron cuidadosamente revisados ​​y seleccionados entre 60 presentaciones. Los artÃculos se organizaron en secciones temáticas denominadas: modelado, reutilización en la práctica, reingenierÃa, recomendación y análisis empÃrico. Nota de contenido: Modelling -- Semantic Software Capability Profile based on Enterprise Architecture for Software Reuse -- Safety Patterns for SysML: What Does OMG Specify? -- A Hybrid Approach based on reuse techniques for Autonomic Adaptation of Business Processes -- Reusable Formal Models for Threat Specification, Detection, and Treatment -- Dynamic Reconfiguration Model of Cloud Composite Services Using Event-B -- Reuse in Practice -- 15 years of reuse experience in evolutionary prototyping for the defense industry -- CxDev: A Case Study in Domain Engineering for Customer eXperience Management -- Reengineering -- Modular Moose: A new generation of software reverse engineering platform -- DeepClone: Modeling Clones to Generate Code Predictions -- Analysing Microsoft Access Projects: Building a model in a Partially Observable Domain -- Recommendation -- Automated Reuse Recommendation of Product Line Assets based on Natural Language Requirements -- Learning to Recommend Trigger-Action Rules for End-User Development: A Knowledge -- Graph Based Approach -- AndroLib: Third-Party Software Library Recommendation for Android Apps -- Investigating the Impact of Functional Size Measurement on Predicting Software Enhancement Effort using Correlation-based Feature Selection Algorithm and SVR method -- How Does library Migration Impact Software Quality and Comprehension? An Empirical Study -- How Do Developers Refactor Code to Improve Code Reusability? -- An Exploratory Study on How Software Reuse is Discussed in Stack Over ow. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 19th International Conference on Software and Systems Reuse, ICSR 2020, held in Hammamet, Tunesia in December 2020. Due to COVID-19 pandemic the Conference was held virtually. The 16 full papers and 2 short papers included in this book were carefully reviewed and selected from 60 submissions. The papers were organized in topical sections named: modelling, reuse in practice, reengineering, recommendation, and empirical analysis. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: PaÅ‚ka, MichaÅ‚, ; Myreen, Magnus, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: VII, 157 p. 862 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-18506-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: Programación de computadoras Compiladores (programas informáticos) Sistemas operativos (computadoras) diseño lógico Microprocesadores Arquitectura de Computadores Técnicas de programación Compiladores e intérpretes Sistemas operativos Arquitecturas de procesador Clasificación: 005.11 Resumen: Este libro constituye los artÃculos seleccionados revisados ​​minuciosamente arbitrados del 19º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2018, celebrado en Gotemburgo, Suecia, en junio de 2018. Los 7 artÃculos completos revisados ​​fueron seleccionados entre 13 presentaciones y artÃculos presentes en todos los aspectos de programación funcional, teniendo una visión amplia de las tendencias actuales y futuras del área. Aspira a ser un entorno animado para presentar los últimos resultados de investigación y otras contribuciones, descritas en los borradores de artÃculos presentados antes del simposio. Nota de contenido: Colocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell -- Reversible Session-Based Concurrency in Haskell -- Intrinsic Currying for C++ Template Metaprograms -- Towards Optic-Based Algebraic Theories: The Case of Lenses -- Saint: an API-generic Type-safe Interpreter -- Improving Haskell -- High-Performance Defunctionalisation in Futhark. . Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers [documento electrónico] / PaÅ‚ka, MichaÅ‚, ; Myreen, Magnus, . - 1 ed. . - [s.l.] : Springer, 2019 . - VII, 157 p. 862 ilustraciones, 16 ilustraciones en color.
ISBN : 978-3-030-18506-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: Programación de computadoras Compiladores (programas informáticos) Sistemas operativos (computadoras) diseño lógico Microprocesadores Arquitectura de Computadores Técnicas de programación Compiladores e intérpretes Sistemas operativos Arquitecturas de procesador Clasificación: 005.11 Resumen: Este libro constituye los artÃculos seleccionados revisados ​​minuciosamente arbitrados del 19º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2018, celebrado en Gotemburgo, Suecia, en junio de 2018. Los 7 artÃculos completos revisados ​​fueron seleccionados entre 13 presentaciones y artÃculos presentes en todos los aspectos de programación funcional, teniendo una visión amplia de las tendencias actuales y futuras del área. Aspira a ser un entorno animado para presentar los últimos resultados de investigación y otras contribuciones, descritas en los borradores de artÃculos presentados antes del simposio. Nota de contenido: Colocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell -- Reversible Session-Based Concurrency in Haskell -- Intrinsic Currying for C++ Template Metaprograms -- Towards Optic-Based Algebraic Theories: The Case of Lenses -- Saint: an API-generic Type-safe Interpreter -- Improving Haskell -- High-Performance Defunctionalisation in Futhark. . Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed revised selected papers of the 19th International Symposium on Trends in Functional Programming, TFP 2018, held in Gothenburg, Sweden, in June 2018. The 7 revised full papers were selected from 13 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers Tipo de documento: documento electrónico Autores: Bowman, William J., ; Garcia, Ronald, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: VII, 143 p. 250 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-47147-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: Programación de computadoras Inteligencia artificial Compiladores (programas informáticos) IngenierÃa Informática Red de computadoras Ciencias de la Computación Técnicas de programación Compiladores e intérpretes IngenierÃa Informática y Redes TeorÃa de la Computación Clasificación: 005.11 Resumen: Este libro constituye los artÃculos seleccionados revisados ​​y completamente arbitrados del 20.º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2019, celebrado en Vancouver, Canadá, en junio de 2019. Los 6 artÃculos completos revisados ​​fueron seleccionados de 11 presentaciones y artÃculos presentes en todos los aspectos de programación funcional, teniendo una visión amplia de las tendencias actuales y futuras del área. Aspira a ser un entorno animado para presentar los últimos resultados de investigación y otras contribuciones, descritas en los borradores de artÃculos presentados antes del simposio. Nota de contenido: Quotients by Idempotent Functions in Cedille -- Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker -- Verifying Selective CPS Transformation for Shift and Reset -- How to Specify it! A Guide to Writing Properties of Pure Functions -- Type Inference for Rank 2 Gradual Intersection Types -- Set Constraints, Pattern Match Analysis, and SMT. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers [documento electrónico] / Bowman, William J., ; Garcia, Ronald, . - 1 ed. . - [s.l.] : Springer, 2020 . - VII, 143 p. 250 ilustraciones, 1 ilustraciones en color.
ISBN : 978-3-030-47147-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: Programación de computadoras Inteligencia artificial Compiladores (programas informáticos) IngenierÃa Informática Red de computadoras Ciencias de la Computación Técnicas de programación Compiladores e intérpretes IngenierÃa Informática y Redes TeorÃa de la Computación Clasificación: 005.11 Resumen: Este libro constituye los artÃculos seleccionados revisados ​​y completamente arbitrados del 20.º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2019, celebrado en Vancouver, Canadá, en junio de 2019. Los 6 artÃculos completos revisados ​​fueron seleccionados de 11 presentaciones y artÃculos presentes en todos los aspectos de programación funcional, teniendo una visión amplia de las tendencias actuales y futuras del área. Aspira a ser un entorno animado para presentar los últimos resultados de investigación y otras contribuciones, descritas en los borradores de artÃculos presentados antes del simposio. Nota de contenido: Quotients by Idempotent Functions in Cedille -- Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker -- Verifying Selective CPS Transformation for Shift and Reset -- How to Specify it! A Guide to Writing Properties of Pure Functions -- Type Inference for Rank 2 Gradual Intersection Types -- Set Constraints, Pattern Match Analysis, and SMT. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers Tipo de documento: documento electrónico Autores: Byrski, Aleksander, ; Hughes, John, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: X, 249 p. 781 ilustraciones, 45 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-57761-2 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: Programación de computadoras IngenierÃa Informática Red de computadoras Microprogramación Software de la aplicacion Inteligencia artificial Compiladores (programas informáticos) Técnicas de programación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: 005.11 Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 21º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2020, que se celebró en Cracovia, Polonia, del 13 al 14 de febrero de 2020. Los 11 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 22 presentaciones. Estaban organizados en secciones temáticas denominadas: idiomas de dominio especÃfico; depuración y pruebas; razonamiento y efectos; y paralelismo. Los siguientes capÃtulos están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com: CapÃtulo 3: Generación de sugerencias para el siguiente paso para programas orientados a tareas utilizando la ejecución simbólica de Nico Naus y Tim Steenvoorden, y CapÃtulo 5: Práctica de formalidad flexible Experiencia con métodos formales ágiles de Philipp Kant et al. Nota de contenido: Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism. The following chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com: Chapter 3: Generating next step hints for task oriented programs using symbolic execution by Nico Naus and Tim Steenvoorden, and Chapter 5: Flexible Formality Practical Experience with Agile Formal Methods by Philipp Kant et al . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers [documento electrónico] / Byrski, Aleksander, ; Hughes, John, . - 1 ed. . - [s.l.] : Springer, 2020 . - X, 249 p. 781 ilustraciones, 45 ilustraciones en color.
ISBN : 978-3-030-57761-2
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: Programación de computadoras IngenierÃa Informática Red de computadoras Microprogramación Software de la aplicacion Inteligencia artificial Compiladores (programas informáticos) Técnicas de programación IngenierÃa Informática y Redes Estructuras de control y microprogramación. Aplicaciones informáticas y de sistemas de información Compiladores e intérpretes Clasificación: 005.11 Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 21º Simposio Internacional sobre Tendencias en Programación Funcional, TFP 2020, que se celebró en Cracovia, Polonia, del 13 al 14 de febrero de 2020. Los 11 artÃculos completos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados de 22 presentaciones. Estaban organizados en secciones temáticas denominadas: idiomas de dominio especÃfico; depuración y pruebas; razonamiento y efectos; y paralelismo. Los siguientes capÃtulos están disponibles en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com: CapÃtulo 3: Generación de sugerencias para el siguiente paso para programas orientados a tareas utilizando la ejecución simbólica de Nico Naus y Tim Steenvoorden, y CapÃtulo 5: Práctica de formalidad flexible Experiencia con métodos formales ágiles de Philipp Kant et al. Nota de contenido: Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data. Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism. The following chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com: Chapter 3: Generating next step hints for task oriented programs using symbolic execution by Nico Naus and Tim Steenvoorden, and Chapter 5: Flexible Formality Practical Experience with Agile Formal Methods by Philipp Kant et al . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
PermalinkPermalink
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalink
