Información del autor
Autor Schaefer, Ina |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / Johnsen, Einar Broch ; Schaefer, Ina
TÃtulo : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings Tipo de documento: documento electrónico Autores: Johnsen, Einar Broch, ; Schaefer, Ina, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 303 p. 98 ilustraciones ISBN/ISSN/DL: 978-3-319-92970-5 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 Compiladores (programas informáticos) Programación de computadoras Ordenadores Profesiones Computadoras digitales electrónicas Ciencias de la Computación Compiladores e intérpretes Técnicas de programación La profesión informática Rendimiento y evaluación del sistema TeorÃa de la Computación Clasificación: Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2018, celebrada como parte de STAF 2018, en Toulouse, Francia, en junio de 2018. Los 17 artÃculos completos presentados en este libro fueron cuidadosamente revisados ​​y seleccionados. de 58 presentaciones. Los artÃculos abordan una amplia gama de temas en las siguientes áreas de investigación: especificación; concurrencia; análisis de programas; verificación de modelos y verificación del tiempo de ejecución; aplicaciones; y análisis y reutilización de formas. Nota de contenido: Specification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings [documento electrónico] / Johnsen, Einar Broch, ; Schaefer, Ina, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 303 p. 98 ilustraciones.
ISBN : 978-3-319-92970-5
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 Compiladores (programas informáticos) Programación de computadoras Ordenadores Profesiones Computadoras digitales electrónicas Ciencias de la Computación Compiladores e intérpretes Técnicas de programación La profesión informática Rendimiento y evaluación del sistema TeorÃa de la Computación Clasificación: Resumen: Este libro constituye las actas arbitradas de la 16.ª Conferencia Internacional sobre IngenierÃa de Software y Métodos Formales, SEFM 2018, celebrada como parte de STAF 2018, en Toulouse, Francia, en junio de 2018. Los 17 artÃculos completos presentados en este libro fueron cuidadosamente revisados ​​y seleccionados. de 58 presentaciones. Los artÃculos abordan una amplia gama de temas en las siguientes áreas de investigación: especificación; concurrencia; análisis de programas; verificación de modelos y verificación del tiempo de ejecución; aplicaciones; y análisis y reutilización de formas. Nota de contenido: Specification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations Tipo de documento: documento electrónico Autores: Felderer, Michael, ; Hasselbring, Wilhelm, ; Koziolek, Heiko, ; Matthes, Florian, ; Prechelt, Lutz, ; Reussner, Ralf, ; Rumpe, Bernhard, ; Schaefer, Ina, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: V, 140 p. 58 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-58617-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 Gestión de software Operaciones de TI Clasificación: Resumen: Este libro de acceso abierto ofrece una visión general de las disertaciones de los cinco nominados al Premio Ernst Denert de IngenierÃa de Software en 2019. El premio, amablemente patrocinado por Gerlind & Ernst Denert Stiftung, se otorga por un excelente trabajo dentro de la disciplina de IngenierÃa de Software. que incluye métodos, herramientas y procedimientos para un mejor y más eficiente desarrollo de software de alta calidad. Un requisito esencial para el trabajo propuesto es su aplicabilidad y usabilidad en la práctica industrial. El libro contiene cinco artÃculos que describen los trabajos de Sebastian Baltes (U Trier) sobre los hábitos de trabajo y la experiencia de los desarrolladores de software, la tesis de Timo Greifenberg sobre Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, el trabajo de Marco Konersmann (U Duisburg-Essen) sobre la arquitectura explÃcitamente integrada, el trabajo de Marija Selakovic ( TU Darmstadt) investigación sobre análisis de programas procesables para mejorar el rendimiento del software, y la tesis de Johannes Späth (Paderborn U) sobre sistemas pushdown sincronizados para análisis de flujo de datos y punteros, que de hecho ganó el premio. Los capÃtulos describen los hallazgos clave de los respectivos trabajos, muestran su relevancia y aplicabilidad para la práctica y los proyectos de ingenierÃa de software industrial, y proporcionan información adicional y hallazgos que sólo se descubrieron posteriormente, por ejemplo, al aplicar los resultados en la industria. De esta manera, el libro no sólo resulta interesante para otros investigadores, sino también para los profesionales del software industrial que quieran aprender sobre la aplicación de los métodos más modernos en su trabajo diario. Nota de contenido: Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Ernst Denert Award for Software Engineering 2019 : Practice Meets Foundations [documento electrónico] / Felderer, Michael, ; Hasselbring, Wilhelm, ; Koziolek, Heiko, ; Matthes, Florian, ; Prechelt, Lutz, ; Reussner, Ralf, ; Rumpe, Bernhard, ; Schaefer, Ina, . - 1 ed. . - [s.l.] : Springer, 2020 . - V, 140 p. 58 ilustraciones, 6 ilustraciones en color.
ISBN : 978-3-030-58617-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 Gestión de software Operaciones de TI Clasificación: Resumen: Este libro de acceso abierto ofrece una visión general de las disertaciones de los cinco nominados al Premio Ernst Denert de IngenierÃa de Software en 2019. El premio, amablemente patrocinado por Gerlind & Ernst Denert Stiftung, se otorga por un excelente trabajo dentro de la disciplina de IngenierÃa de Software. que incluye métodos, herramientas y procedimientos para un mejor y más eficiente desarrollo de software de alta calidad. Un requisito esencial para el trabajo propuesto es su aplicabilidad y usabilidad en la práctica industrial. El libro contiene cinco artÃculos que describen los trabajos de Sebastian Baltes (U Trier) sobre los hábitos de trabajo y la experiencia de los desarrolladores de software, la tesis de Timo Greifenberg sobre Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, el trabajo de Marco Konersmann (U Duisburg-Essen) sobre la arquitectura explÃcitamente integrada, el trabajo de Marija Selakovic ( TU Darmstadt) investigación sobre análisis de programas procesables para mejorar el rendimiento del software, y la tesis de Johannes Späth (Paderborn U) sobre sistemas pushdown sincronizados para análisis de flujo de datos y punteros, que de hecho ganó el premio. Los capÃtulos describen los hallazgos clave de los respectivos trabajos, muestran su relevancia y aplicabilidad para la práctica y los proyectos de ingenierÃa de software industrial, y proporcionan información adicional y hallazgos que sólo se descubrieron posteriormente, por ejemplo, al aplicar los resultados en la industria. De esta manera, el libro no sólo resulta interesante para otros investigadores, sino también para los profesionales del software industrial que quieran aprender sobre la aplicación de los métodos más modernos en su trabajo diario. Nota de contenido: Ernst Denert Software Engineering Awards 2019 -- Software Engineering -- Applications of Synchronized Pushdown Systems -- Software Developers' Work Habits and Expertise: Empirical Studies on Sketching, Code Plagiarism, and Expertise Development -- Applied Artifact-Based Analysis for Architecture Consistency Checking -- Same but Different: Consistently Developing and Evolving Software Architecture Models and Their Implementation -- Actionable Program Analyses for Improving Software Performance. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
