LEADER 03890nam  22007575  450 
001 9910483536903321
005 20230222183204.0
010   $a3-319-57708-5
024 7 $a10.1007/978-3-319-57708-1
035   $a(CKB)3850000000027410
035   $a(DE-He213)978-3-319-57708-1
035   $a(MiAaPQ)EBC6288107
035   $a(MiAaPQ)EBC5596386
035   $a(Au-PeEL)EBL5596386
035   $a(OCoLC)984126930
035   $a(PPN)200512617
035   $a(EXLCZ)993850000000027410
100   $a20170420d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aStructured Object-Oriented Formal Language and Method $e6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /$fedited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (X, 239 p. 71 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10189
311   $a3-319-57707-7 
327   $aModeling 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. .
330   $aThis 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 are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking. .
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10189
606   $aSoftware engineering
606   $aComputer science
606   $aArtificial intelligence
606   $aComputer engineering
606   $aComputer networks
606   $aComputers
606   $aSoftware Engineering
606   $aTheory of Computation
606   $aArtificial Intelligence
606   $aComputer Engineering and Networks
606   $aComputer Hardware
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aTheory of Computation.
615 24$aArtificial Intelligence.
615 24$aComputer Engineering and Networks.
615 24$aComputer Hardware.
676   $a004.0151
702   $aLiu$b Shaoying$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aDuan$b Zhenhua$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aTian$b Cong$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNagoya$b Fumiko$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483536903321
996   $aStructured Object-Oriented Formal Language and Method$93084063
997   $aUNINA