29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Müller, Peter  

Público ISBD Ningún comentario para este registro. Título : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings Tipo de documento: documento electrónico Autores: Müller, Peter (1961 July 8-), Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XV, 772 p. 1 ilustraciones ISBN/ISSN/DL: 978-3-030-44914-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Compiladores (programas informáticos)  Ingeniería Informática  Red de computadoras  Microprogramación  Procesamiento del lenguaje natural (Informática)  Ciencias de la Computación  Compiladores e intérpretes  Ingeniería Informática y Redes  Estructuras de control y microprogramación  Redes de comunicación informática  Procesamiento del lenguaje natural (PNL)  Teoría de la Computación Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro de acceso abierto constituye las actas del 29º Simposio Europeo sobre Programación, ESOP 2020, que tuvo lugar en Dublín, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ETAPS 2020. Los artículos abordan cuestiones fundamentales en la especificación, diseño, análisis e implementación de lenguajes y sistemas de programació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 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings [documento electrónico] / Müller, Peter (1961 July 8-),  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XV, 772 p. 1 ilustraciones. ISBN : 978-3-030-44914-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Compiladores (programas informáticos)  Ingeniería Informática  Red de computadoras  Microprogramación  Procesamiento del lenguaje natural (Informática)  Ciencias de la Computación  Compiladores e intérpretes  Ingeniería Informática y Redes  Estructuras de control y microprogramación  Redes de comunicación informática  Procesamiento del lenguaje natural (PNL)  Teoría de la Computación Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro de acceso abierto constituye las actas del 29º Simposio Europeo sobre Programación, ESOP 2020, que tuvo lugar en Dublín, Irlanda, en abril de 2020, y se celebró como parte de las Conferencias Conjuntas Europeas sobre Teoría y Práctica del Software, ETAPS 2020. Los artículos abordan cuestiones fundamentales en la especificación, diseño, análisis e implementación de lenguajes y sistemas de programació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

Principled Software Development / Müller, Peter ; Schaefer, Ina  

Público ISBD Ningún comentario para este registro. Título : Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday Tipo de documento: documento electrónico Autores: Müller, Peter (1961 July 8-), ; Schaefer, Ina, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: VIII, 323 p. 114 ilustraciones, 10 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-98047-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software  Teoría de las máquinas  Compiladores (programas informáticos)  Lenguajes formales y teoría de los autómatas  Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro presenta una colección de trabajos de investigación que abordan el desafío de cómo desarrollar software basándose en principios que, en particular, permitan el razonamiento. Los artículos individuales abordan este desafío desde varias perspectivas, incluidos los lenguajes de programación, la verificación de programas y la variación sistemática del software. Los temas cubiertos incluyen abstracciones de programación para software concurrente y distribuido, técnicas de especificación y verificación para programas imperativos y técnicas de desarrollo para líneas de productos de software. Con este libro, los editores y autores desean reconocer, con motivo de su 60 cumpleaños, el trabajo de Arnd Poetzsch-Heffter, quien ha realizado importantes contribuciones a la tecnología del software a lo largo de su carrera. Presenta artículos sobre los amplios intereses de investigación de Arnd, que incluyen, entre otros, la implementación de lenguajes de programación, semántica formal, especificación y verificación de programas concurrentes y orientados a objetos, diseño de lenguajes de programación, sistemas distribuidos, modelado de software y líneas de productos de software. Todos los autores contribuyentes son destacados expertos en lenguajes de programación e ingeniería de software que han colaborado con Arnd a lo largo de su carrera. En general, el libro ofrece una colección de artículos de alta calidad que presentan resultados de investigación originales, estudios de casos importantes y visiones inspiradoras. Parte del trabajo incluido aquí fue presentado en un simposio en honor a Arnd Poetzsch-Heffter, celebrado en Kaiserslautern, Alemania, en noviembre de 2018. Nota de contenido: Smart Contracts – A Killer Application for Deductive Source Code Verification -- A Methodology for Invariants, Framing, and Subtyping in JML -- Trends in Relational Program Verification -- Collaborative work management with a highly-available Kanban board -- A Case for Certifying Compilers in Industrial Automation -- Compositional Semantics for Concurrent Object Groups in ABS -- Same Same But Different: Interoperability of Software Product Line Variants -- A Hoare Logic Contract Theory An Exercise in Denotational Semantics -- Towards Reliable Concurrent Software -- Dynamic Software Updates and Context Adaptation for Distributed Active Objects -- Using CSP to Develop Quality Concurrent Software -- Modular Verification Scopes via Export Sets and Translucent Exports -- The Binomial Heap Verification Challenge in Viper -- Abstract and Concrete Data Types vs Object Capabilities -- A Personal History of Delta Modelling -- Are Synchronous Programs Logic Programs? -- Illi Isabellistes Se Custodes Egregios Praestabant -- Reasoning about Weak Semantics via Strong Semantics -- Recipes for Coffee — Compositional Construction of JAVA Control Flow Graphs in GROOVE. 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 Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday [documento electrónico] / Müller, Peter (1961 July 8-), ; Schaefer, Ina,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - VIII, 323 p. 114 ilustraciones, 10 ilustraciones en color. ISBN : 978-3-319-98047-8 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Ingeniería de software  Teoría de las máquinas  Compiladores (programas informáticos)  Lenguajes formales y teoría de los autómatas  Compiladores e intérpretes Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro presenta una colección de trabajos de investigación que abordan el desafío de cómo desarrollar software basándose en principios que, en particular, permitan el razonamiento. Los artículos individuales abordan este desafío desde varias perspectivas, incluidos los lenguajes de programación, la verificación de programas y la variación sistemática del software. Los temas cubiertos incluyen abstracciones de programación para software concurrente y distribuido, técnicas de especificación y verificación para programas imperativos y técnicas de desarrollo para líneas de productos de software. Con este libro, los editores y autores desean reconocer, con motivo de su 60 cumpleaños, el trabajo de Arnd Poetzsch-Heffter, quien ha realizado importantes contribuciones a la tecnología del software a lo largo de su carrera. Presenta artículos sobre los amplios intereses de investigación de Arnd, que incluyen, entre otros, la implementación de lenguajes de programación, semántica formal, especificación y verificación de programas concurrentes y orientados a objetos, diseño de lenguajes de programación, sistemas distribuidos, modelado de software y líneas de productos de software. Todos los autores contribuyentes son destacados expertos en lenguajes de programación e ingeniería de software que han colaborado con Arnd a lo largo de su carrera. En general, el libro ofrece una colección de artículos de alta calidad que presentan resultados de investigación originales, estudios de casos importantes y visiones inspiradoras. Parte del trabajo incluido aquí fue presentado en un simposio en honor a Arnd Poetzsch-Heffter, celebrado en Kaiserslautern, Alemania, en noviembre de 2018. Nota de contenido: Smart Contracts – A Killer Application for Deductive Source Code Verification -- A Methodology for Invariants, Framing, and Subtyping in JML -- Trends in Relational Program Verification -- Collaborative work management with a highly-available Kanban board -- A Case for Certifying Compilers in Industrial Automation -- Compositional Semantics for Concurrent Object Groups in ABS -- Same Same But Different: Interoperability of Software Product Line Variants -- A Hoare Logic Contract Theory An Exercise in Denotational Semantics -- Towards Reliable Concurrent Software -- Dynamic Software Updates and Context Adaptation for Distributed Active Objects -- Using CSP to Develop Quality Concurrent Software -- Modular Verification Scopes via Export Sets and Translucent Exports -- The Binomial Heap Verification Challenge in Viper -- Abstract and Concrete Data Types vs Object Capabilities -- A Personal History of Delta Modelling -- Are Synchronous Programs Logic Programs? -- Illi Isabellistes Se Custodes Egregios Praestabant -- Reasoning about Weak Semantics via Strong Semantics -- Recipes for Coffee — Compositional Construction of JAVA Control Flow Graphs in GROOVE. 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

---

1 (1 - 2 / 2) Par page : 25 50 100 200