Título :	21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Tipo de documento:	documento electrónico
Autores:	Ait-Ameur, Yamine, ; Qin, Shengchao,
Mención de edición:	1 ed.
Editorial:	[s.l.] : Springer
Fecha de publicación:	2019
Número de páginas:	XXI, 528 p. 491 ilustraciones, 73 ilustraciones en color.
ISBN/ISSN/DL:	978-3-030-32409-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:	Ciencias de la Computación  Inteligencia artificial  Ingeniería de software  Ingeniería Informática  Red de computadoras  Simulación por ordenador  Teoría de la Computación  Ingeniería Informática y Redes  Modelado por computadora
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2019, celebrada en Shenzhen, China, en noviembre de 2019. Los 28 artículos completos y 8 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 94 presentaciones. Se ocupan de los avances recientes en el uso y desarrollo de métodos de ingeniería formal para el diseño de software y sistemas y registran los últimos avances en métodos de ingeniería formal. .
Nota de contenido:	Secure Deep Learning Engineering: a Road towards Quality Assurance of Intelligent Systems -- Using DimSpec for Bounded and Unbounded Software Model Checking -- SMTBCF: Efficient Backbone Computing for SMT Formulas -- Automatic verification for node-based visual script notation using model checking -- A Reo Model of Software Defined Networks -- Design of point-and-click user interfaces for proof assistants -- SqlSol: An accurate SQL Query Synthesizer -- Towards Verifying Ethereum Smart Contracts at Intermediate Language Level -- Simulations for ATL with imperfect information -- On the generation of equational dynamic logics for weighted imperative programs -- A Security Calculus for Wireless Networks of Named Data Networking -- Automatic Modularization of Large Programs for Bounded Model Checking -- PDNet: A Programming Language for Software-Defined Networks with VLAN -- Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines -- Probably Approximate Safety Verification of Hybrid Dynamical Systems -- A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams -- Reasoning about Universal Cubes in MCMT -- sCompile: Critical Path Identification and Analysis for Smart Contracts -- A Mechanized Theory of Program Refinement -- A Relational Static Semantics for Call Graph Construction -- Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method -- Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks -- Combining Parallel Emptiness Checks with Partial Order Reductions -- A Coalgebraic Semantics Framework for Quantum Systems -- Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation -- An Axiomatisation of the Probabilistic -Calculus -- Synthesizing Nested Ranking Functions for Loop Programs via SVM -- A First Step in the Translation of Alloy to Coq -- Assessment of a Formal Requirements Modeling Approach on a Transportation System -- Design Model Repair with Formal Verification -- A Performance-Sensitive Malware Detection System on Mobile Platform -- Certifying Hardware Model Checking Results -- A Note on Failure Mode Reasoning -- Robustness of Piece-wise Linear Neural Network with Feasible Region Approaches -- Formal Specification and Verification of Smart Contracts -- Spatio-Temporal Specification Language for Cyber-Physical Systems -- A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification based on Machine Learning.
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

21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings [documento electrónico] / Ait-Ameur, Yamine, ; Qin, Shengchao,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XXI, 528 p. 491 ilustraciones, 73 ilustraciones en color.
ISBN : 978-3-030-32409-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Ciencias de la Computación  Inteligencia artificial  Ingeniería de software  Ingeniería Informática  Red de computadoras  Simulación por ordenador  Teoría de la Computación  Ingeniería Informática y Redes  Modelado por computadora
Índice Dewey:	40.151
Resumen:	Este libro constituye las actas de la 21.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2019, celebrada en Shenzhen, China, en noviembre de 2019. Los 28 artículos completos y 8 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 94 presentaciones. Se ocupan de los avances recientes en el uso y desarrollo de métodos de ingeniería formal para el diseño de software y sistemas y registran los últimos avances en métodos de ingeniería formal. .
Nota de contenido:	Secure Deep Learning Engineering: a Road towards Quality Assurance of Intelligent Systems -- Using DimSpec for Bounded and Unbounded Software Model Checking -- SMTBCF: Efficient Backbone Computing for SMT Formulas -- Automatic verification for node-based visual script notation using model checking -- A Reo Model of Software Defined Networks -- Design of point-and-click user interfaces for proof assistants -- SqlSol: An accurate SQL Query Synthesizer -- Towards Verifying Ethereum Smart Contracts at Intermediate Language Level -- Simulations for ATL with imperfect information -- On the generation of equational dynamic logics for weighted imperative programs -- A Security Calculus for Wireless Networks of Named Data Networking -- Automatic Modularization of Large Programs for Bounded Model Checking -- PDNet: A Programming Language for Software-Defined Networks with VLAN -- Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines -- Probably Approximate Safety Verification of Hybrid Dynamical Systems -- A Formally Verified Algebraic Approach for Dynamic Reliability Block Diagrams -- Reasoning about Universal Cubes in MCMT -- sCompile: Critical Path Identification and Analysis for Smart Contracts -- A Mechanized Theory of Program Refinement -- A Relational Static Semantics for Call Graph Construction -- Solution Enumeration Abstraction - A Modeling Idiom to Enhance a Lightweight Formal Method -- Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks -- Combining Parallel Emptiness Checks with Partial Order Reductions -- A Coalgebraic Semantics Framework for Quantum Systems -- Parameterized Hardware Verification Through A Term-level Generalized Symbolic Trajectory Evaluation -- An Axiomatisation of the Probabilistic -Calculus -- Synthesizing Nested Ranking Functions for Loop Programs via SVM -- A First Step in the Translation of Alloy to Coq -- Assessment of a Formal Requirements Modeling Approach on a Transportation System -- Design Model Repair with Formal Verification -- A Performance-Sensitive Malware Detection System on Mobile Platform -- Certifying Hardware Model Checking Results -- A Note on Failure Mode Reasoning -- Robustness of Piece-wise Linear Neural Network with Feasible Region Approaches -- Formal Specification and Verification of Smart Contracts -- Spatio-Temporal Specification Language for Cyber-Physical Systems -- A Modeling Framework of Cyber-Physical-Social Systems with Human Behavior Classification based on Machine Learning.
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