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. 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 Índice Dewey: 005.1 Programación (Computadoras) 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. . 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 : 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 Índice Dewey: 005.1 Programación (Computadoras) 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. . 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200