15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / Bae, Kyungmin ; Ölveczky, Peter Csaba  

Público ISBD Ningún comentario para este título. Título : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings Tipo de documento: documento electrónico Autores: Bae, Kyungmin, ; Ölveczky, Peter Csaba, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 297 p. 83 ilustraciones ISBN/ISSN/DL: 978-3-030-02146-7 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  Teoría de las máquinas  Ciencias de la Computación  Compiladores e intérpretes  Técnicas de programación  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación Clasificación: Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2018, celebrada en Pohang, Corea del Sur, en octubre de 2018. Los 14 artículos completos presentados junto con un resumen invitado y un artículo invitado fueron cuidadosamente revisados ​​y seleccionado entre 32 presentaciones. FACS 2016 se ocupa de cómo se pueden utilizar los métodos formales para lograr que el desarrollo de software basado en componentes y orientado a servicios tenga éxito. Los métodos formales han proporcionado una base para el software basado en componentes al abordar con éxito cuestiones desafiantes como modelos matemáticos para componentes, composición y adaptación, o enfoques rigurosos para la verificación, implementación, prueba y certificación. Nota de contenido: What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages -- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via Behavioral Metrics -- Incremental Computation of Synthesis Rules for Free-Choice Petri nets -- Programming Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP -- Using Coloured Petri Nets for Resource Analysis of Active Objects -- Adaptive Formal Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns -- The SLCO Framework for Verified, Model-driven Construction of Component Software. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings [documento electrónico] / Bae, Kyungmin, ; Ölveczky, Peter Csaba,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XII, 297 p. 83 ilustraciones. ISBN : 978-3-030-02146-7 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  Teoría de las máquinas  Ciencias de la Computación  Compiladores e intérpretes  Técnicas de programación  Lenguajes formales y teoría de los autómatas  Lógica informática y fundamentos de la programación Clasificación: Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Aspectos Formales del Software de Componentes, FACS 2018, celebrada en Pohang, Corea del Sur, en octubre de 2018. Los 14 artículos completos presentados junto con un resumen invitado y un artículo invitado fueron cuidadosamente revisados ​​y seleccionado entre 32 presentaciones. FACS 2016 se ocupa de cómo se pueden utilizar los métodos formales para lograr que el desarrollo de software basado en componentes y orientado a servicios tenga éxito. Los métodos formales han proporcionado una base para el software basado en componentes al abordar con éxito cuestiones desafiantes como modelos matemáticos para componentes, composición y adaptación, o enfoques rigurosos para la verificación, implementación, prueba y certificación. Nota de contenido: What Good are Models -- Formal Design, Implementation and Verification of Blockchain Languages -- Building Correct SDN Components from a Global Event-B Formal Model -- Event-B Formalization of a Variability-Aware Component Model Patterns Framework -- Logical Characterization of Differential Privacy via Behavioral Metrics -- Incremental Computation of Synthesis Rules for Free-Choice Petri nets -- Programming Dynamic Reconfigurable Systems -- Automating Verification of State Machines with Reactive Designs and Isabelle/UTP -- Using Coloured Petri Nets for Resource Analysis of Active Objects -- Adaptive Formal Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting -- Actors with Coroutine Support in Java -- Dynamic Cut-Off Algorithm for Parameterised Refinement Checking -- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns -- The SLCO Framework for Verified, Model-driven Construction of Component Software. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200