rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Structured Object-Oriented Formal Language and Method
    sub title: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
  name:
    name part: Liu, Shaoying.
    role:
      role term: editor.
  name:
    name part: Duan, Zhenhua.
    role:
      role term: editor.
  name:
    name part: Tian, Cong.
    role:
      role term: editor.
  name:
    name part: Nagoya, Fumiko.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2017
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: X, 239 p. 71 illus. online resource.
  abstract: 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 are organized in topical sections named: modeling and specification; animation and prototyping; verification and validation; and model checking. .
  table of contents: 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. .
  note: edited by Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya.
  subject:
    topic: Computer science
  subject:
    topic: Computer hardware
  subject:
    topic: Computer organization
  subject:
    topic: Software engineering
  subject:
    topic: Computers
  subject:
    topic: Computer Science
  subject:
    topic: Software Engineering/Programming and Operating Systems
  subject:
    topic: Theory of Computation
  subject:
    topic: Computing Methodologies
  subject:
    topic: Computer Systems Organization and Communication Networks
  subject:
    topic: Computer Hardware
  classification: QA76.758
  classification: 005.1
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 10189
  identifier: 9783319577081
  identifier: http://dx.doi.org/10.1007/978-3-319-57708-1
  record info:
    record creation date: 170420
    record change date: 20170420144414.0
    record identifier: 978-3-319-57708-1