Información del autor
Autor Liu, Shaoying |
Documentos disponibles escritos por este autor (5)
Crear una solicitud de compra Refinar búsquedaStructured Object-Oriented Formal Language and Method / Xue, Jinyun ; Nagoya, Fumiko ; Liu, Shaoying ; Duan, Zhenhua
TÃtulo : Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers Tipo de documento: documento electrónico Autores: Xue, Jinyun, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: VIII, 205 p. 98 ilustraciones, 45 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-77474-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 Sistemas informáticos Ciencias de la Computación TeorÃa de las máquinas Microprogramación Inteligencia artificial Implementación de sistema informático Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Estructuras de control y microprogramación Clasificación: Resumen: Este libro constituye las actas del taller arbitrado del décimo taller internacional sobre lenguaje y método formal estructurado orientado a objetos, SOFL+MSVL 2020, celebrado en Singapur, en marzo de 2021. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados de 24 presentaciones. Están organizados en las siguientes secciones temáticas: modelado y especificación; verificación de modelos; especificación y verificación; y pruebas y verificación formal. Debido a la pandemia de Corona, este evento se llevó a cabo virtualmente. Nota de contenido: Modeling and Specification -- Model Checking -- Specification and Verification -- Testing and Formal Verification. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Structured Object-Oriented Formal Language and Method : 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers [documento electrónico] / Xue, Jinyun, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, . - 1 ed. . - [s.l.] : Springer, 2021 . - VIII, 205 p. 98 ilustraciones, 45 ilustraciones en color.
ISBN : 978-3-030-77474-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 Sistemas informáticos Ciencias de la Computación TeorÃa de las máquinas Microprogramación Inteligencia artificial Implementación de sistema informático Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Estructuras de control y microprogramación Clasificación: Resumen: Este libro constituye las actas del taller arbitrado del décimo taller internacional sobre lenguaje y método formal estructurado orientado a objetos, SOFL+MSVL 2020, celebrado en Singapur, en marzo de 2021. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados de 24 presentaciones. Están organizados en las siguientes secciones temáticas: modelado y especificación; verificación de modelos; especificación y verificación; y pruebas y verificación formal. Debido a la pandemia de Corona, este evento se llevó a cabo virtualmente. Nota de contenido: Modeling and Specification -- Model Checking -- Specification and Verification -- Testing and Formal Verification. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers Tipo de documento: documento electrónico Autores: Liu, Shaoying, ; Duan, Zhenhua, ; Tian, Cong, ; Nagoya, Fumiko, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 239 p. 71 ilustraciones ISBN/ISSN/DL: 978-3-319-57708-1 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 Ciencias de la Computación Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Clasificación: Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 6º Taller Internacional sobre Estructuras, Lenguaje y Método Formal Orientado a Objetos, SOFL+MSVL 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 13 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Están organizados en secciones temáticas denominadas: modelado y especificación; animación y creación de prototipos; verificación y validación; y verificación de modelos. . Nota de contenido: Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers [documento electrónico] / Liu, Shaoying, ; Duan, Zhenhua, ; Tian, Cong, ; Nagoya, Fumiko, . - 1 ed. . - [s.l.] : Springer, 2017 . - X, 239 p. 71 ilustraciones.
ISBN : 978-3-319-57708-1
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 Ciencias de la Computación Inteligencia artificial IngenierÃa Informática Red de computadoras Ordenadores TeorÃa de la Computación IngenierÃa Informática y Redes Hardware de la computadora Clasificación: Resumen: Este libro constituye artÃculos revisados ​​seleccionados del 6º Taller Internacional sobre Estructuras, Lenguaje y Método Formal Orientado a Objetos, SOFL+MSVL 2016, celebrado en Tokio, Japón, en noviembre de 2016. Los 13 artÃculos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 26 presentaciones. Están organizados en secciones temáticas denominadas: modelado y especificación; animación y creación de prototipos; verificación y validación; y verificación de modelos. . Nota de contenido: Modeling and Specification -- Orchestration Combinators in Apla+ Language -- On Termination and Boundedness of Nested Updatable Timed Automata -- Instant-based and State-based Analysis of Infinite Logical Clock -- Animation and Prototyping -- Automated Safety Analysis on Scenario-based Requirements for Train Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal Development of Linear Structure Reusable Components in PAR Platform -- Verification and Validation -- E-SSL:An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet -- A Proof System for MSVL Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a Railway Interlocking System in Industry. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers Tipo de documento: documento electrónico Autores: Tian, Cong, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: X, 219 p. 66 ilustraciones ISBN/ISSN/DL: 978-3-319-90104-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 Algoritmos Ciencias de la Computación Inteligencia artificial Lógica informática y fundamentos de la programación Clasificación: Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del Séptimo Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2017, celebrado en Xi''an, China, en noviembre de 2017. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisado y seleccionado entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: animación y creación de prototipos; TeorÃa de grafos; verificación de modelos; modelado y especificación; y verificación y validación. Nota de contenido: Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers [documento electrónico] / Tian, Cong, ; Nagoya, Fumiko, ; Liu, Shaoying, ; Duan, Zhenhua, . - 1 ed. . - [s.l.] : Springer, 2018 . - X, 219 p. 66 ilustraciones.
ISBN : 978-3-319-90104-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 Algoritmos Ciencias de la Computación Inteligencia artificial Lógica informática y fundamentos de la programación Clasificación: Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del Séptimo Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2017, celebrado en Xi''an, China, en noviembre de 2017. Los 13 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisado y seleccionado entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: animación y creación de prototipos; TeorÃa de grafos; verificación de modelos; modelado y especificación; y verificación y validación. Nota de contenido: Animation and prototyping -- Graph theory -- Model checking -- Modeling and specification -- Verification and validation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers Tipo de documento: documento electrónico Autores: Duan, Zhenhua, ; Liu, Shaoying, ; Tian, Cong, ; Nagoya, Fumiko, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: VIII, 197 p. 107 ilustraciones, 33 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-13651-2 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 Computadoras digitales electrónicas Ciencias de la Computación Simulación por ordenador Ordenadores Rendimiento y evaluación del sistema TeorÃa de la Computación Modelado por computadora Entornos informáticos Clasificación: Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del 8.º Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2018, celebrado en Gold Coast, QLD, Australia, en noviembre de 2018. Los 11 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: programación y pruebas; verificación y validación; semántica; y cadena de bloques. Nota de contenido: Programming and testing -- Verification and validation -- Semantics -- Blockchain. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers [documento electrónico] / Duan, Zhenhua, ; Liu, Shaoying, ; Tian, Cong, ; Nagoya, Fumiko, . - 1 ed. . - [s.l.] : Springer, 2019 . - VIII, 197 p. 107 ilustraciones, 33 ilustraciones en color.
ISBN : 978-3-030-13651-2
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 Computadoras digitales electrónicas Ciencias de la Computación Simulación por ordenador Ordenadores Rendimiento y evaluación del sistema TeorÃa de la Computación Modelado por computadora Entornos informáticos Clasificación: Resumen: Este libro constituye las actas del taller, exhaustivamente arbitrado, del 8.º Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, SOFL+MSVL 2018, celebrado en Gold Coast, QLD, Australia, en noviembre de 2018. Los 11 artÃculos completos revisados ​​incluidos en el volumen fueron cuidadosamente revisados ​​y seleccionados entre 21 presentaciones. Están organizados en las siguientes secciones temáticas: programación y pruebas; verificación y validación; semántica; y cadena de bloques. Nota de contenido: Programming and testing -- Verification and validation -- Semantics -- Blockchain. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
