| TÃtulo : |
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers |
| Tipo de documento: |
documento electrónico |
| Autores: |
Miao, Huaikou, ; Tian, Cong, ; Liu, Shaoying, ; Duan, Zhenhua, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
IX, 364 p. 174 ilustraciones, 64 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-3-030-41418-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 IngenierÃa Informática Red de computadoras Inteligencia artificial Ciencias de la Computación IngenierÃa Informática y Redes Redes de comunicación informática TeorÃa de la Computación |
| Ãndice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro constituye las actas del taller minuciosamente arbitrado del 9º Taller Internacional sobre Lenguaje y Método Formal Estructurado Orientado a Objetos, SOFL+MSVL 2019, celebrado en Shenzhen, China, en noviembre de 2019. Los 23 artÃculos completos revisados ​​incluidos en el volumen fueron revisados ​​cuidadosamente. y seleccionado entre 43 presentaciones. Están organizados en las siguientes secciones temáticas: pruebas y depuración, verificación formal, resolución de problemas, análisis y evolución de software, y análisis y pruebas de software. |
| Nota de contenido: |
Testing and Debugging -- Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction -- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications -- Distortion and Faults in Machine Learning Software -- A divide & conquer approach to testing concurrent Java programs with JPF and Maude -- Formal Verification -- An approach to modeling and verifying multi-level interrupt systems with TMSVL -- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via Program Execution -- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads -- A Planning Approach based on APTL -- Solving Constraint optimization Problems Based on Mathematica and Abstraction -- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge -- Formal Development and Verification of Reusable Component in PAR Platform -- Formal Specification & Modeling -- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction -- Formal Specification and Model Checking of a Ride-sharing System in Maude -- Model Checking Python Programs with MSVL -- Software Analysis and Evolution -- Prediction of Function Removal Propagation in Linux Evolution -- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study -- Combining Model Learning and Model Checking to Analyze Java Libraries -- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning -- Software Analysis and Testing -- Metamorphic Testing in Fault Localization of Model Transformations -- A Fault Localization Method Based on Dynamic Failed Execution Blocks -- Adaptive Random Testing by Bisection and Comprehensive Distance -- CMM: A Combination-based Mutation Method For SQL Injection. |
| 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 |
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers [documento electrónico] / Miao, Huaikou, ; Tian, Cong, ; Liu, Shaoying, ; Duan, Zhenhua, . - 1 ed. . - [s.l.] : Springer, 2020 . - IX, 364 p. 174 ilustraciones, 64 ilustraciones en color. ISBN : 978-3-030-41418-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 IngenierÃa Informática Red de computadoras Inteligencia artificial Ciencias de la Computación IngenierÃa Informática y Redes Redes de comunicación informática TeorÃa de la Computación |
| Ãndice Dewey: |
005.1 Programación (Computadoras) |
| Resumen: |
Este libro constituye las actas del taller minuciosamente arbitrado del 9º Taller Internacional sobre Lenguaje y Método Formal Estructurado Orientado a Objetos, SOFL+MSVL 2019, celebrado en Shenzhen, China, en noviembre de 2019. Los 23 artÃculos completos revisados ​​incluidos en el volumen fueron revisados ​​cuidadosamente. y seleccionado entre 43 presentaciones. Están organizados en las siguientes secciones temáticas: pruebas y depuración, verificación formal, resolución de problemas, análisis y evolución de software, y análisis y pruebas de software. |
| Nota de contenido: |
Testing and Debugging -- Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction -- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications -- Distortion and Faults in Machine Learning Software -- A divide & conquer approach to testing concurrent Java programs with JPF and Maude -- Formal Verification -- An approach to modeling and verifying multi-level interrupt systems with TMSVL -- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework -- UMC4M: a Verification Tool via Program Execution -- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads -- A Planning Approach based on APTL -- Solving Constraint optimization Problems Based on Mathematica and Abstraction -- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge -- Formal Development and Verification of Reusable Component in PAR Platform -- Formal Specification & Modeling -- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction -- Formal Specification and Model Checking of a Ride-sharing System in Maude -- Model Checking Python Programs with MSVL -- Software Analysis and Evolution -- Prediction of Function Removal Propagation in Linux Evolution -- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study -- Combining Model Learning and Model Checking to Analyze Java Libraries -- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning -- Software Analysis and Testing -- Metamorphic Testing in Fault Localization of Model Transformations -- A Fault Localization Method Based on Dynamic Failed Execution Blocks -- Adaptive Random Testing by Bisection and Comprehensive Distance -- CMM: A Combination-based Mutation Method For SQL Injection. |
| 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 |
|  |
Structured Object-Oriented Formal Language and Method
