Advertisement

Structured Object-Oriented Formal Language and Method

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

  • Zhenhua Duan
  • Shaoying Liu
  • Cong Tian
  • Fumiko Nagoya
Conference proceedings SOFL+MSVL 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11392)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11392)

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Programming and Testing

  3. Verification and Validation

    1. Front Matter
      Pages 53-53
    2. Xiaobing Wang, Wenxuan Guo, Liang Zhao, Xinfeng Shu
      Pages 55-70
    3. Yufei Yin, Shaoying Liu, Yixiang Chen
      Pages 71-88
    4. Xinfeng Shu, Na Luo, Bo Wang, Xiaobing Wang, Liang Zhao
      Pages 89-107
    5. Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie
      Pages 108-122
  4. Semantics

    1. Front Matter
      Pages 123-123
    2. Ai Liu, Shun Wang, Yi Li, Meng Sun
      Pages 146-165
  5. Blockchain

    1. Front Matter
      Pages 167-167
    2. Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu
      Pages 169-182
  6. Back Matter
    Pages 197-197

About these proceedings

Introduction

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and 
Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.
The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections: programming and testing; verification and validation; semantics; and blockchain.

Keywords

formal engineering methods formal specification formal verification inspection specification animation analysis model checking testing semantics software engineering software evaluation theorem proving formal logic verification data security specifications

Editors and affiliations

  • Zhenhua Duan
    • 1
  • Shaoying Liu
    • 2
  • Cong Tian
    • 3
  • Fumiko Nagoya
    • 4
  1. 1.Xidian UniversityXi’anChina
  2. 2.Hosei UniversityTokyoJapan
  3. 3.Xidian UniversityXi’anChina
  4. 4.Nihon UniversityTokyoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-13651-2
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-13650-5
  • Online ISBN 978-3-030-13651-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
IT & Software
Telecommunications
Law
Aerospace
Engineering