Computing and Combinatorics / Du, Ding-Zhu ; Duan, Zhenhua ; Tian, Cong  

Público ISBD Ningún comentario para este registro. Título : Computing and Combinatorics : 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Du, Ding-Zhu, ; Duan, Zhenhua, ; Tian, Cong, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIII, 678 p. 493 ilustraciones, 35 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-26176-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Algoritmos  Informática  Matemáticas discretas  Inteligencia artificial  Análisis numérico  Gráficos de computadora  Matemáticas discretas en informática  Ciencia de los datos Clasificación: 518.1 Resumen: Este libro constituye las actas de la 25.ª Conferencia Internacional sobre Computación y Combinatoria, COCOON 2019, celebrada en Xi''an, China, en julio de 2019. Los 55 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 124 presentaciones. Los artículos cubren varios temas, incluido el diseño de algoritmos, algoritmo de aproximación, teoría de grafos, teoría de la complejidad, resolución de problemas, optimización, biología computacional, aprendizaje computacional, redes de comunicación, lógica y teoría de juegos. Nota de contenido: Algorithm design -- Approximation algorithm -- Graph theory -- Complexity theory -- Problem solving -- Optimization -- Computational biology -- Computational learning -- Communication network -- Logic -- Game theory. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi'an, China, in July 2019. The 55 papers presented in this volume were carefully reviewed and selected from 124 submissions. The papers cover various topics, including algorithm design, approximation algorithm, graph theory, complexity theory, problem solving, optimization, computational biology, computational learning, communication network, logic, and game theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Computing and Combinatorics : 25th International Conference, COCOON 2019, Xi'an, China, July 29–31, 2019, Proceedings / [documento electrónico] / Du, Ding-Zhu, ; Duan, Zhenhua, ; Tian, Cong,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XIII, 678 p. 493 ilustraciones, 35 ilustraciones en color. ISBN : 978-3-030-26176-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Algoritmos  Informática  Matemáticas discretas  Inteligencia artificial  Análisis numérico  Gráficos de computadora  Matemáticas discretas en informática  Ciencia de los datos Clasificación: 518.1 Resumen: Este libro constituye las actas de la 25.ª Conferencia Internacional sobre Computación y Combinatoria, COCOON 2019, celebrada en Xi''an, China, en julio de 2019. Los 55 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 124 presentaciones. Los artículos cubren varios temas, incluido el diseño de algoritmos, algoritmo de aproximación, teoría de grafos, teoría de la complejidad, resolución de problemas, optimización, biología computacional, aprendizaje computacional, redes de comunicación, lógica y teoría de juegos. Nota de contenido: Algorithm design -- Approximation algorithm -- Graph theory -- Complexity theory -- Problem solving -- Optimization -- Computational biology -- Computational learning -- Communication network -- Logic -- Game theory. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 25th International Conference on Computing and Combinatorics, COCOON 2019, held in Xi'an, China, in July 2019. The 55 papers presented in this volume were carefully reviewed and selected from 124 submissions. The papers cover various topics, including algorithm design, approximation algorithm, graph theory, complexity theory, problem solving, optimization, computational biology, computational learning, communication network, logic, and game theory. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Formal Methods and Software Engineering / Duan, Zhenhua ; Ong, Luke  

Público ISBD Ningún comentario para este registro. Título : Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings Tipo de documento: documento electrónico Autores: Duan, Zhenhua, ; Ong, Luke, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVII, 498 p. 134 ilustraciones ISBN/ISSN/DL: 978-3-319-68690-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software  Programación de computadoras  Compiladores (programas informáticos)  Ciencias de la Computación  Teoría de las máquinas  Red de computadoras  Técnicas de programación  Compiladores e intérpretes  Lógica informática y fundamentos de la programación.  Lenguajes formales y teoría de los autómatas  Redes de comunicación informática Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 19.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2017, celebrada en Xi''an, China, en noviembre de 2017. Los 28 artículos completos revisados ​​presentados junto con una charla invitada y dos resúmenes de las charlas invitadas fueron cuidadosamente revisado y seleccionado entre 80 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos de ingeniería formal, como verificación y validación, ingeniería de software, especificación y modelado formal, seguridad y confiabilidad del software. Nota de contenido: Verification and validation -- Software engineering -- Formal specification and modeling -- Software security -- Software reliability. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.  The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings [documento electrónico] / Duan, Zhenhua, ; Ong, Luke,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - XVII, 498 p. 134 ilustraciones. ISBN : 978-3-319-68690-5 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Ingeniería de software  Programación de computadoras  Compiladores (programas informáticos)  Ciencias de la Computación  Teoría de las máquinas  Red de computadoras  Técnicas de programación  Compiladores e intérpretes  Lógica informática y fundamentos de la programación.  Lenguajes formales y teoría de los autómatas  Redes de comunicación informática Clasificación: 005.1 Resumen: Este libro constituye las actas arbitradas de la 19.ª Conferencia Internacional sobre Métodos de Ingeniería Formal, ICFEM 2017, celebrada en Xi''an, China, en noviembre de 2017. Los 28 artículos completos revisados ​​presentados junto con una charla invitada y dos resúmenes de las charlas invitadas fueron cuidadosamente revisado y seleccionado entre 80 presentaciones. La conferencia se centra en todas las áreas relacionadas con los métodos de ingeniería formal, como verificación y validación, ingeniería de software, especificación y modelado formal, seguridad y confiabilidad del software. Nota de contenido: Verification and validation -- Software engineering -- Formal specification and modeling -- Software security -- Software reliability. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November 2017.  The 28 revised full papers presented together with one invited talk and two abstracts of invited talks were carefully reviewed and selected from 80 submissions. The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Structured Object-Oriented Formal Language and Method / Xue, Jinyun ; Nagoya, Fumiko ; Liu, Shaoying ; Duan, Zhenhua  

Público ISBD Ningún comentario para este registro. 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. Idioma : Inglés (eng) 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: 005.1 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. . Tipo de medio : Computadora Summary : This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification. Due to the Corona pandemic this event was held virtually. 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. Idioma : Inglés (eng) 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: 005.1 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. . Tipo de medio : Computadora Summary : This book constitutes the refereed workshop proceedings of the 10th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2020, held in Singapore, in March 2021. The 13 revised full papers included in the volume were carefully reviewed and selected from 24 submissions. They are organized in the following topical sections: modeling and specification; model checking; specification and verification; and testing and formal verification. Due to the Corona pandemic this event was held virtually. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Structured Object-Oriented Formal Language and Method / Liu, Shaoying ; Duan, Zhenhua ; Tian, Cong ; Nagoya, Fumiko  

Público ISBD Ningún comentario para este registro. 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. Idioma : Inglés (eng) 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: 005.1 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. . Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking. . 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. Idioma : Inglés (eng) 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: 005.1 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. . Tipo de medio : Computadora Summary : This book constitutes revised selected papers from the 6th International Workshop on Structures Object-Oriented Formal Language and Method, SOFL+MSVL 2016, held in Tokyo, Japan, in November 2016. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

Structured Object-Oriented Formal Language and Method / Tian, Cong ; Nagoya, Fumiko ; Liu, Shaoying ; Duan, Zhenhua  

Público ISBD Ningún comentario para este registro. 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. Idioma : Inglés (eng) 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: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and 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. Idioma : Inglés (eng) 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: 005.1 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. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed workshop proceedings of the 7th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2017, held in Xi'an, China, in November 2017. The 13 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: animation and prototyping; graph theory; model checking; modeling and specification; and 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 / Duan, Zhenhua ; Liu, Shaoying ; Tian, Cong ; Nagoya, Fumiko  

Permalink

Structured Object-Oriented Formal Language and Method / Miao, Huaikou ; Tian, Cong ; Liu, Shaoying ; Duan, Zhenhua  

Permalink

---

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