Advertisement

Structured Object-Oriented Formal Language and Method

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

  • Huaikou Miao
  • Cong Tian
  • Shaoying Liu
  • Zhenhua Duan
Conference proceedings SOFL+MSVL 2019
  • 5k Downloads

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

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

Table of contents

  1. Front Matter
    Pages i-ix
  2. Testing and Debugging

  3. Formal Verification

    1. Front Matter
      Pages 59-59
    2. Xiaobing Wang, Kun Yang, Yanmei Wang, Liang Zhao, Xinfeng Shu
      Pages 73-87
    3. Meng Wang, Junfeng Tian, Hong Zhang
      Pages 88-98
    4. Bin Yu, Jinhui Liu, Ming Lei, Yong Yu, Hao Chen
      Pages 99-109
  4. Problem Solving

    1. Front Matter
      Pages 111-111
    2. Haiyang Wang, Yao Liu
      Pages 113-122
    3. Guoteng Pan, Mengjun Li, Guodong Ou
      Pages 123-140
    4. Xu Lu, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li et al.
      Pages 141-154
    5. Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo
      Pages 155-166
    6. Eiichi Muramoto, Kazuhiro Ogata, Yoichi Shinoda
      Pages 187-204
    7. Xinfeng Shu, Fengyun Gao, Weiran Gao, Lili Zhang, Xiaobing Wang, Liang Zhao
      Pages 205-224
  5. Software Analysis and Evolution

    1. Front Matter
      Pages 225-225
    2. Lei Wang, Guoxiong Chen, Liang Li
      Pages 227-242
    3. Yuntianyi Chen, Yongfeng Gu, Lulu He, Jifeng Xuan
      Pages 243-258
    4. Shahbaz Ali, Hailong Sun, Yongwang Zhao
      Pages 259-278
    5. Muhammad Jahanzeb Khan, Ruoyu Wang, Daniel Sun, Guoqiang Li
      Pages 279-295
  6. Software Analysis and Testing

    1. Front Matter
      Pages 297-297
    2. Keke Du, Mingyue Jiang, Zuohua Ding, Hongyun Huang, Ting Shu
      Pages 299-314
    3. Baoyi Pan, Ting Shu, Jinsong Xia, Zuohua Ding, Mingyue Jiang
      Pages 315-327
    4. Chengying Mao, Mengting Quan, Zhilei Chen, Tsong Yueh Chen
      Pages 328-344
    5. Jing Zhao, Tianran Dong, Yang Cheng, Yanbin Wang
      Pages 345-361
  7. Back Matter
    Pages 363-364

About these proceedings

Introduction

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

Keywords

architecting architecture verification and validation artificial intelligence computer hardware computer networks computer programming computer science computer systems distributed computer systems embedded systems engineering formal logic internet mathematics object-oriented programming software software architecture software design software engineering software quality

Editors and affiliations

  • Huaikou Miao
    • 1
  • Cong Tian
    • 2
  • Shaoying Liu
    • 3
  • Zhenhua Duan
    • 4
  1. 1.School of Computer Engineering and ScienceShanghai UniversityShanghaiChina
  2. 2.Institute of Computing Theory and TechnologyXidian UniversityXi'anChina
  3. 3.Hosei UniversityTokyoJapan
  4. 4.Xidian UniversityXi'anChina

Bibliographic information