Autor Schaefer, Ina
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 : 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 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 Índice Dewey: 005.1 Programación (Computadoras) 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. 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 : 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
