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