| 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 |
|  |
Hacer una sugerencia Refinar búsqueda29th 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
