Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers - Liu, Shaoying; Duan, Zhenhua; Tian, Cong.; Nagoya, Fumiko; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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. .
Keywords: 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