From Software Engineering to Formal Methods and Tools, and Back / ter Beek, Maurice H. ; Fantechi, Alessandro ; Semini, Laura  

Público ISBD Ningún comentario para este registro. Título : From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday Tipo de documento: documento electrónico Autores: ter Beek, Maurice H., ; Fantechi, Alessandro, ; Semini, Laura, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 574 p. 692 ilustraciones, 91 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30985-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)  Algoritmos  Teoría de las máquinas  Ciencias de la Computación  Inteligencia artificial  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen fue publicado en honor del 65 cumpleaños de Stefania Gnesi. El volumen Festschrift contiene 32 artículos escritos por colaboradores cercanos y amigos de Stefania y se le presentó el 8 de octubre de 2019 en un coloquio de un día celebrado en Oporto, Portugal. El Festschrift consta de ocho secciones, siete de las cuales reflejan las principales áreas de investigación a que Stefania ha contribuido. Luego de un recorrido por el legado de Stefania en la investigación y un homenaje de su director de tesis, estas siete secciones están ordenadas según el ciclo de vida de Stefania en la investigación, desde la ingeniería de software hasta los métodos y herramientas formales, y viceversa: Ingeniería de software; Métodos y Herramientas Formales; Ingeniería de Requisitos; Procesamiento natural del lenguaje; Líneas de productos de software; Verificación Formal; y Aplicaciones. Nota de contenido: Software Engineering -- Formal Methods and Tools -- Requirements Engineering -- Natural Language Processing -- Software Product Lines -- Formal Verification -- Applications. 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 From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday [documento electrónico] / ter Beek, Maurice H., ; Fantechi, Alessandro, ; Semini, Laura,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XIII, 574 p. 692 ilustraciones, 91 ilustraciones en color. ISBN : 978-3-030-30985-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)  Algoritmos  Teoría de las máquinas  Ciencias de la Computación  Inteligencia artificial  Compiladores e intérpretes  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen fue publicado en honor del 65 cumpleaños de Stefania Gnesi. El volumen Festschrift contiene 32 artículos escritos por colaboradores cercanos y amigos de Stefania y se le presentó el 8 de octubre de 2019 en un coloquio de un día celebrado en Oporto, Portugal. El Festschrift consta de ocho secciones, siete de las cuales reflejan las principales áreas de investigación a que Stefania ha contribuido. Luego de un recorrido por el legado de Stefania en la investigación y un homenaje de su director de tesis, estas siete secciones están ordenadas según el ciclo de vida de Stefania en la investigación, desde la ingeniería de software hasta los métodos y herramientas formales, y viceversa: Ingeniería de software; Métodos y Herramientas Formales; Ingeniería de Requisitos; Procesamiento natural del lenguaje; Líneas de productos de software; Verificación Formal; y Aplicaciones. Nota de contenido: Software Engineering -- Formal Methods and Tools -- Requirements Engineering -- Natural Language Processing -- Software Product Lines -- Formal Verification -- Applications. 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

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification / Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander  

Público ISBD Ningún comentario para este registro. Título : Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings Tipo de documento: documento electrónico Autores: Fantechi, Alessandro, ; Lecomte, Thierry, ; Romanovsky, Alexander, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 265 p. 80 ilustraciones ISBN/ISSN/DL: 978-3-319-68499-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: Ingeniería de software  Inteligencia artificial  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Protección de datos  Microprogramación  Teoría de la Computación  Ingeniería Informática y Redes  Seguridad de datos e información  Estructuras de control y microprogramación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen constituye las actas de la Segunda Conferencia Internacional sobre Confiabilidad, Seguridad y Protección de los Sistemas Ferroviarios, RRSRail 2017, celebrada en Pistoia, Italia, en noviembre de 2017. Los 16 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 34 presentaciones. Están organizados en secciones temáticas denominadas: desafíos de comunicación en los sistemas ferroviarios; modelado formal y verificación de seguridad; tren ligero y transporte urbano; y técnicas y estándares de ingeniería. El libro también contiene una charla magistral en formato artículo completo. . Nota de contenido: Keynote Talk -- Cyber Security in Railways: Quo vadis? -- Communication Challenges in Railway Systems -- LTE System Design for Urban Light Rail Transport -- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS -- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering -- Formal Modelling and Verification for Safety -- Formal modelling techniques for efficient development of railway control products -- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems -- A Domain-Specific Language for Generic Interlocking Models and Their Properties -- Bayesian Network Modeling Applied on Railway Level Crossing Safety -- Deductive Verification of Railway Operations -- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B -- B-PERFect: Applying the PERF approach to B based system developments -- Formal Verification of Train Control with Air Pressure Brakes -- Light Rail and Urban Transit -- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems -- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems -- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming -- Engineering Techniques and Standards -- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks -- Are Standards an Ambiguity-free Reference for Product Validation. . 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 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings [documento electrónico] / Fantechi, Alessandro, ; Lecomte, Thierry, ; Romanovsky, Alexander,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XVIII, 265 p. 80 ilustraciones. ISBN : 978-3-319-68499-4 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  Inteligencia artificial  Ciencias de la Computación  Ingeniería Informática  Red de computadoras  Protección de datos  Microprogramación  Teoría de la Computación  Ingeniería Informática y Redes  Seguridad de datos e información  Estructuras de control y microprogramación Índice Dewey: 005.1 Programación (Computadoras) Resumen: Este volumen constituye las actas de la Segunda Conferencia Internacional sobre Confiabilidad, Seguridad y Protección de los Sistemas Ferroviarios, RRSRail 2017, celebrada en Pistoia, Italia, en noviembre de 2017. Los 16 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 34 presentaciones. Están organizados en secciones temáticas denominadas: desafíos de comunicación en los sistemas ferroviarios; modelado formal y verificación de seguridad; tren ligero y transporte urbano; y técnicas y estándares de ingeniería. El libro también contiene una charla magistral en formato artículo completo. . Nota de contenido: Keynote Talk -- Cyber Security in Railways: Quo vadis? -- Communication Challenges in Railway Systems -- LTE System Design for Urban Light Rail Transport -- A framework to evaluate 5G networks for smart and fail-safe communications in ERTMS/ETCS -- Systems-Theoretic Likelihood and Severity Analysis for Safety and Security Co-Engineering -- Formal Modelling and Verification for Safety -- Formal modelling techniques for efficient development of railway control products -- OVADO: Enhancing Data Validation for Safety-Critical Railway Systems -- A Domain-Specific Language for Generic Interlocking Models and Their Properties -- Bayesian Network Modeling Applied on Railway Level Crossing Safety -- Deductive Verification of Railway Operations -- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B -- B-PERFect: Applying the PERF approach to B based system developments -- Formal Verification of Train Control with Air Pressure Brakes -- Light Rail and Urban Transit -- An Efficient Evaluation Scheme for KPIs in Regulated Urban Train Systems -- Redundant and Reliable Architecture Based On Open Source Tools for Light-Rail-Transit On-Board-Systems -- Dynamic Routing for Urban Transport Systems Through Integer Linear Programming -- Engineering Techniques and Standards -- Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks -- Are Standards an Ambiguity-free Reference for Product Validation. . 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