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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Liu, Shaoying (Επιμελητής έκδοσης), Duan, Zhenhua (Επιμελητής έκδοσης), Tian, Cong (Επιμελητής έκδοσης), Nagoya, Fumiko (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Σειρά: Lecture Notes in Computer Science, 10189
• Θέματα: Computer science.; Computer hardware.; Computer organization.; Software engineering.; Computers.; Computer Science.; Software Engineering/Programming and Operating Systems.; Theory of Computation.; Computing Methodologies.; Computer Systems Organization and Communication Networks.; Computer Hardware.

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

Πίνακας περιεχομένων:

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