Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Liu, Shaoying. (Editor ), Duan, Zhenhua. (Editor ), Tian, Cong. (Editor ), Nagoya, Fumiko. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Theoretical Computer Science and General Issues ; 10189
Materias:	Software engineering. Computers. Artificial intelligence. Computer organization. Computer hardware. Software Engineering/Programming and Operating Systems. Theory of Computation. Artificial Intelligence. Computer Systems Organization and Communication Networks. Computer Hardware.

Tabla de Contenidos:

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. .

Ejemplares similares