Autor Bowen, Jonathan P.
|
|
Documentos disponibles escritos por este autor (7)
Hacer una sugerencia Refinar búsqueda4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / Bowen, Jonathan P. ; Liu, Zhiming ; Zhang, Zili
TÃtulo : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures Tipo de documento: documento electrónico Autores: Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVII, 237 p. 556 ilustraciones, 84 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-17601-3 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 Red de computadoras Algoritmos Ciencias de la Computación TeorÃa de las máquinas Inteligencia artificial Redes de comunicación informática Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen contiene conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas informáticos; en la 4ta Escuela Internacional de IngenierÃa de Sistemas de Software Confiables, SETSS 2018, celebrada en abril de 2018 en la Universidad Southwest en Chongqing, China. Los cinco capÃtulos de este volumen brindan una descripción general de la investigación en la frontera de las teorÃas, métodos y herramientas para el modelado, diseño y verificación de software. Los temas cubiertos en este capÃtulo incluyen la verificación de software con Whiley, el aprendizaje de los autómatas Büchi y sus aplicaciones, la seguridad en aplicaciones de IoT, la programación en Z3 y el impacto de Alan Turing: métodos formales y más. El volumen proporciona un recurso útil para estudiantes de posgrado, investigadores, académicos e ingenieros de la industria interesados ​​en teorÃa, métodos y herramientas para el desarrollo de software confiable. Nota de contenido: An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. . 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 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVII, 237 p. 556 ilustraciones, 84 ilustraciones en color.
ISBN : 978-3-030-17601-3
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 Red de computadoras Algoritmos Ciencias de la Computación TeorÃa de las máquinas Inteligencia artificial Redes de comunicación informática Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen contiene conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas informáticos; en la 4ta Escuela Internacional de IngenierÃa de Sistemas de Software Confiables, SETSS 2018, celebrada en abril de 2018 en la Universidad Southwest en Chongqing, China. Los cinco capÃtulos de este volumen brindan una descripción general de la investigación en la frontera de las teorÃas, métodos y herramientas para el modelado, diseño y verificación de software. Los temas cubiertos en este capÃtulo incluyen la verificación de software con Whiley, el aprendizaje de los autómatas Büchi y sus aplicaciones, la seguridad en aplicaciones de IoT, la programación en Z3 y el impacto de Alan Turing: métodos formales y más. El volumen proporciona un recurso útil para estudiantes de posgrado, investigadores, académicos e ingenieros de la industria interesados ​​en teorÃa, métodos y herramientas para el desarrollo de software confiable. Nota de contenido: An Introduction to Software Verification with Whiley -- Learning Büchi Automata and Its Applications -- Securing Emergent IoT Applications -- Programming Z3 -- The Impact of Alan Turing: Formal Methods and Beyond. . 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 : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures Tipo de documento: documento electrónico Autores: Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVII, 221 p. 242 ilustraciones, 9 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-55089-9 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 Red de computadoras Inteligencia artificial Programación de computadoras Sistemas informáticos Procesamiento del lenguaje natural (Informática) Redes de comunicación informática Técnicas de programación Implementación de sistema informático Procesamiento del lenguaje natural (PNL) Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la Quinta Escuela Internacional de IngenierÃa de Sistemas de Software Confiables, SETSS 2019, celebrada en Chongqing, China, en abril de 2019. Los cinco capÃtulos de este volumen ofrecen conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas computacionales. Los temas cubiertos en estos capÃtulos incluyen Desarrollo continuo de sistemas basados ​​en modelos: fundamentos; Desde el análisis de accesibilidad limitada de autómatas hÃbridos lineales hasta la verificación de CPS industriales e IoT; Semántica de expectativas previas más débiles para la inferencia bayesiana: condicionamiento, distribuciones continuas y divergencia; K – Un marco semántico para lenguajes de programación y herramientas de análisis formal; y abstracciones de software y modelado de arquitectura de sistemas humano-ciberfÃsicos. Nota de contenido: Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. 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 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVII, 221 p. 242 ilustraciones, 9 ilustraciones en color.
ISBN : 978-3-030-55089-9
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 Red de computadoras Inteligencia artificial Programación de computadoras Sistemas informáticos Procesamiento del lenguaje natural (Informática) Redes de comunicación informática Técnicas de programación Implementación de sistema informático Procesamiento del lenguaje natural (PNL) Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este libro constituye las actas arbitradas de la Quinta Escuela Internacional de IngenierÃa de Sistemas de Software Confiables, SETSS 2019, celebrada en Chongqing, China, en abril de 2019. Los cinco capÃtulos de este volumen ofrecen conferencias sobre investigaciones de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas computacionales. Los temas cubiertos en estos capÃtulos incluyen Desarrollo continuo de sistemas basados ​​en modelos: fundamentos; Desde el análisis de accesibilidad limitada de autómatas hÃbridos lineales hasta la verificación de CPS industriales e IoT; Semántica de expectativas previas más débiles para la inferencia bayesiana: condicionamiento, distribuciones continuas y divergencia; K – Un marco semántico para lenguajes de programación y herramientas de análisis formal; y abstracciones de software y modelado de arquitectura de sistemas humano-ciberfÃsicos. Nota de contenido: Seamless Model-based System Development: Foundations -- From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT -- Weakest Preexpectation Semantics for Bayesian Inference: Conditioning, Continuous Distributions and Divergence -- K - A Semantic Framework for Programming Languages and Formal Analysis Tools -- Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. 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 : Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures Tipo de documento: documento electrónico Autores: Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XV, 259 p. 64 ilustraciones ISBN/ISSN/DL: 978-3-319-56841-6 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 Programación de computadoras Compiladores (programas informáticos) Ordenadores Profesiones Ciencias de la Computación Computadoras digitales electrónicas Técnicas de programación Compiladores e intérpretes La profesión informática Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen contiene un registro de algunas de las conferencias y seminarios impartidos en la Segunda Escuela Internacional de IngenierÃa de Sistemas de Software Confiables (SETSS 2016), celebrada en marzo/abril de 2016 en la Universidad Southwest en Chongqing, China. Las seis contribuciones incluidas en este volumen brindan una descripción general de la investigación de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas informáticos. Provienen de seis cursos y dos seminarios sobre temas como modelado y verificación en el evento B; programación paralela hoy; verificación del tiempo de ejecución; Java en el dominio crÃtico para la seguridad; semántica de sistemas reactivos; pruebas unitarias parametrizadas; razonamiento formal sobre valores de datos infinitos; y Alan Turing y sus notables logros. El material es útil para estudiantes de posgrado, investigadores, académicos e ingenieros industriales interesados ​​en la teorÃa y práctica de métodos y herramientas para el diseño y programación de sistemas de software confiables. Nota de contenido: Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. 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 Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures [documento electrónico] / Bowen, Jonathan P., ; Liu, Zhiming, ; Zhang, Zili, . - 1 ed. . - [s.l.] : Springer, 2017 . - XV, 259 p. 64 ilustraciones.
ISBN : 978-3-319-56841-6
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 Programación de computadoras Compiladores (programas informáticos) Ordenadores Profesiones Ciencias de la Computación Computadoras digitales electrónicas Técnicas de programación Compiladores e intérpretes La profesión informática Lógica informática y fundamentos de la programación Rendimiento y evaluación del sistema Ãndice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen contiene un registro de algunas de las conferencias y seminarios impartidos en la Segunda Escuela Internacional de IngenierÃa de Sistemas de Software Confiables (SETSS 2016), celebrada en marzo/abril de 2016 en la Universidad Southwest en Chongqing, China. Las seis contribuciones incluidas en este volumen brindan una descripción general de la investigación de vanguardia en métodos y herramientas para su uso en ingenierÃa de sistemas informáticos. Provienen de seis cursos y dos seminarios sobre temas como modelado y verificación en el evento B; programación paralela hoy; verificación del tiempo de ejecución; Java en el dominio crÃtico para la seguridad; semántica de sistemas reactivos; pruebas unitarias parametrizadas; razonamiento formal sobre valores de datos infinitos; y Alan Turing y sus notables logros. El material es útil para estudiantes de posgrado, investigadores, académicos e ingenieros industriales interesados ​​en la teorÃa y práctica de métodos y herramientas para el diseño y programación de sistemas de software confiables. Nota de contenido: Alan Turing: Founder of Computer Science -- UTP by Example: Designs -- Reasoned Modelling with Event-B -- Java in the Safety-Critical Domain -- Runtime Verification for Linear-Time Temporal Logic -- Formal Reasoning on Infinite Data Values: An Ongoing Quest. 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 : Museums and Digital Culture : New Perspectives and Research Tipo de documento: documento electrónico Autores: Giannini, Tula, ; Bowen, Jonathan P., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXVIII, 590 p. 194 ilustraciones, 181 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-97457-6 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: Interfaces de usuario (sistemas informáticos) La interacción persona-ordenador Propiedad cultural humanidades digitales Interfaces de usuario e interacción persona-computadora Patrimonio cultural Ãndice Dewey: 005.437 Interfaces de usuario Resumen: Este libro explora cómo la cultura digital está transformando los museos en el siglo XXI. Ofreciendo un corpus de nueva evidencia para que los lectores exploren, los autores rastrean la evolución digital del museo y la de su público, ahora completamente inmerso en la vida digital, desde Internet hasta el hogar y el trabajo. En un mundo donde la vida en códigos y dÃgitos ha redefinido el comportamiento de la información humana y domina la actividad y la comunicación diarias, el uso ubicuo de herramientas y tecnologÃa digitales está cambiando radicalmente los contextos sociales y los propósitos de las exposiciones y colecciones de los museos, el trabajo de los profesionales de los museos y las expectativas. de visitantes, reales y virtuales. Más allá de sus muros, con comunidades locales y globales, los museos están evolucionando hacia instituciones altamente dinámicas, socialmente conscientes y relevantes a medida que se fortalecen sus conexiones con el ecosistema digital global. A medida que adoptan un modelo centrado en el visitante y diseñan experiencias para los visitantes, sus prioridades cambian para atraer al público, transmitir colecciones digitales y contar historias a través de exposiciones. Todo esto es parte de la creación de una identidad museÃstica dinámica e innovadora del futuro, completada por una integración perfecta con la cultura digital, el pensamiento digital, la estética, la vista y el oÃdo, donde los visitantes sean bienvenidos como participantes. Los contribuyentes del capÃtulo internacional e interdisciplinario incluyen artistas digitales, académicos y profesionales de museos. En partes temáticas, los capÃtulos presentan diversas investigaciones basadas en evidencia y estudios de casos sobre teorÃa de museos, filosofÃa, colecciones, exposiciones, bibliotecas, arte digital y futuro digital, para aportar nuevos conocimientos y perspectivas, diseñados para inspirar a los lectores. ¡Disfruta el viaje! Nota de contenido: Introduction -- Digital Culture -- Museums and Digitalism -- Philosophy and Theory -- Historical Questions on Being and Digital Culture -- Contested Space: Activism and protest -- Exhibitions -- Past the Museum Floor: Criteria for curating experience -- Digital Road Trips: The shifting landscape of digital art shows -- Collections -- Collecting, Documenting, and Exhibiting the Histories of Digital Art: A V&A perspective -- Conserving Digital Art -- Audiences -- How Museums Made (and Re-made) their Digital User -- The Digital Layer in the Museum Experience -- Digital Artists -- Morphogenetic Creations: Exhibiting and collecting digital art -- Evolving Installations: "Shaping Space" -- Art, Life, and Technology, through Time and Space -- Education -- The Education of a Digital Fine Artist -- Libraries and Archives -- Museum Libraries and Archives in the Digital 21st Century -- Democratizing Discovery: The impact of digital culture on the research library -- Digital Future -- Digital Culture Leaders Visioning the Postdigital Museum. 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 Museums and Digital Culture : New Perspectives and Research [documento electrónico] / Giannini, Tula, ; Bowen, Jonathan P., . - 1 ed. . - [s.l.] : Springer, 2019 . - XXVIII, 590 p. 194 ilustraciones, 181 ilustraciones en color.
ISBN : 978-3-319-97457-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Interfaces de usuario (sistemas informáticos) La interacción persona-ordenador Propiedad cultural humanidades digitales Interfaces de usuario e interacción persona-computadora Patrimonio cultural Ãndice Dewey: 005.437 Interfaces de usuario Resumen: Este libro explora cómo la cultura digital está transformando los museos en el siglo XXI. Ofreciendo un corpus de nueva evidencia para que los lectores exploren, los autores rastrean la evolución digital del museo y la de su público, ahora completamente inmerso en la vida digital, desde Internet hasta el hogar y el trabajo. En un mundo donde la vida en códigos y dÃgitos ha redefinido el comportamiento de la información humana y domina la actividad y la comunicación diarias, el uso ubicuo de herramientas y tecnologÃa digitales está cambiando radicalmente los contextos sociales y los propósitos de las exposiciones y colecciones de los museos, el trabajo de los profesionales de los museos y las expectativas. de visitantes, reales y virtuales. Más allá de sus muros, con comunidades locales y globales, los museos están evolucionando hacia instituciones altamente dinámicas, socialmente conscientes y relevantes a medida que se fortalecen sus conexiones con el ecosistema digital global. A medida que adoptan un modelo centrado en el visitante y diseñan experiencias para los visitantes, sus prioridades cambian para atraer al público, transmitir colecciones digitales y contar historias a través de exposiciones. Todo esto es parte de la creación de una identidad museÃstica dinámica e innovadora del futuro, completada por una integración perfecta con la cultura digital, el pensamiento digital, la estética, la vista y el oÃdo, donde los visitantes sean bienvenidos como participantes. Los contribuyentes del capÃtulo internacional e interdisciplinario incluyen artistas digitales, académicos y profesionales de museos. En partes temáticas, los capÃtulos presentan diversas investigaciones basadas en evidencia y estudios de casos sobre teorÃa de museos, filosofÃa, colecciones, exposiciones, bibliotecas, arte digital y futuro digital, para aportar nuevos conocimientos y perspectivas, diseñados para inspirar a los lectores. ¡Disfruta el viaje! Nota de contenido: Introduction -- Digital Culture -- Museums and Digitalism -- Philosophy and Theory -- Historical Questions on Being and Digital Culture -- Contested Space: Activism and protest -- Exhibitions -- Past the Museum Floor: Criteria for curating experience -- Digital Road Trips: The shifting landscape of digital art shows -- Collections -- Collecting, Documenting, and Exhibiting the Histories of Digital Art: A V&A perspective -- Conserving Digital Art -- Audiences -- How Museums Made (and Re-made) their Digital User -- The Digital Layer in the Museum Experience -- Digital Artists -- Morphogenetic Creations: Exhibiting and collecting digital art -- Evolving Installations: "Shaping Space" -- Art, Life, and Technology, through Time and Space -- Education -- The Education of a Digital Fine Artist -- Libraries and Archives -- Museum Libraries and Archives in the Digital 21st Century -- Democratizing Discovery: The impact of digital culture on the research library -- Digital Future -- Digital Culture Leaders Visioning the Postdigital Museum. 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 : Provably Correct Systems Tipo de documento: documento electrónico Autores: Hinchey, Mike, ; Bowen, Jonathan P., ; Olderog, Ernst-Rüdiger, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XV, 328 p. 84 ilustraciones, 48 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-48628-4 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: TeorÃa de las máquinas Ciencias de la Computación Programación de computadoras Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Modelos de Computación Técnicas de programación Ãndice Dewey: 5.131 Resumen: A medida que las computadoras controlan cada vez más los sistemas y servicios de los que dependemos en nuestra vida diaria, como el transporte, las comunicaciones y los medios, garantizar que estos sistemas funcionen correctamente es de suma importancia. Este libro consta de doce capÃtulos y un relato histórico que se presentaron en un taller celebrado en Londres en 2015, con motivo del 25.º aniversario del proyecto europeo de investigación básica ESPRIT ''ProCoS'' (Provably Correct Systems). Los proyectos ProCoS I y II fueron pioneros y aceleraron la automatización de técnicas de verificación, lo que dio como resultado una amplia gama de aplicaciones en muchos oficios y sectores como el aeroespacial, la electrónica, las comunicaciones y el comercio minorista. Se tratan los siguientes temas: Un relato histórico del proyecto ProCoS Sistemas hÃbridos Corrección de interfaces de algoritmos concurrentes y vinculación Verificación automática Afirmaciones en tiempo de ejecución Verificación de métodos formales y semiformales Nota de contenido: Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began – As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations. 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 Provably Correct Systems [documento electrónico] / Hinchey, Mike, ; Bowen, Jonathan P., ; Olderog, Ernst-Rüdiger, . - 1 ed. . - [s.l.] : Springer, 2017 . - XV, 328 p. 84 ilustraciones, 48 ilustraciones en color.
ISBN : 978-3-319-48628-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: TeorÃa de las máquinas Ciencias de la Computación Programación de computadoras Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Modelos de Computación Técnicas de programación Ãndice Dewey: 5.131 Resumen: A medida que las computadoras controlan cada vez más los sistemas y servicios de los que dependemos en nuestra vida diaria, como el transporte, las comunicaciones y los medios, garantizar que estos sistemas funcionen correctamente es de suma importancia. Este libro consta de doce capÃtulos y un relato histórico que se presentaron en un taller celebrado en Londres en 2015, con motivo del 25.º aniversario del proyecto europeo de investigación básica ESPRIT ''ProCoS'' (Provably Correct Systems). Los proyectos ProCoS I y II fueron pioneros y aceleraron la automatización de técnicas de verificación, lo que dio como resultado una amplia gama de aplicaciones en muchos oficios y sectores como el aeroespacial, la electrónica, las comunicaciones y el comercio minorista. Se tratan los siguientes temas: Un relato histórico del proyecto ProCoS Sistemas hÃbridos Corrección de interfaces de algoritmos concurrentes y vinculación Verificación automática Afirmaciones en tiempo de ejecución Verificación de métodos formales y semiformales Nota de contenido: Foreword -- Preface -- Part I: Historic Account -- ProCoS: How It All Began – As Seen from Denmark -- Part II: Hybrid Systems -- Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems -- MARS: A Tool chain for Modelling, Analysis and Verification of Hybrid Systems -- Part III: Correctness of Concurrent Algorithms -- A Proof Method for Linearizability on TSO Architectures -- Part IV: Interfaces and Linking -- Linking Discrete and Continuous Models, Applied to Traffic Manoeuvres -- Towards Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing Verified Machine Address Bounds during Symbolic Exploration of Code -- Engineering a Formal, Executable x86 ISA Simulator for Software Verification -- Advances in Connection-Based Automated Theorem Proving -- Part VI: Run-Time Assertion Checking -- Run-Time Deadlock Detection -- In-Circuit Assertions and Exceptions for Reconfigurable Hardware Design -- Part VII: Formal and Semi-Formal Methods -- From ProCoS to Space and Mental Models – a Survey of Combing Formal and Semi-Formal Methods -- Part VIII: Web-Supported Communities in Science -- Provably Correct Systems: Community, Connections and Citations. 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
PermalinkPermalink
