Structured Object-Oriented Formal Language and Method

5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

  • Shaoying Liu
  • Zhenhua Duan
Conference proceedings SOFL+MSVL 2015

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

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Modeling and Specification

    1. Front Matter
      Pages 1-1
    2. Jinyun Xue
      Pages 3-14
    3. Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang
      Pages 15-28
    4. Mao Huang, Yihai Chen, Ridha Khedri, Huaikou Miao
      Pages 29-43
  3. Testing and Debugging

  4. Model Checking and Verification

    1. Front Matter
      Pages 101-101
    2. Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim
      Pages 132-146
    3. Yunqing Wen, Guoqiang Li, Shoji Yuen
      Pages 147-161
  5. Algorithm and Transformation

    1. Front Matter
      Pages 163-163
    2. Cong Tian, Jun Song, Zhenhua Duan, Zhao Duan
      Pages 179-194
    3. Xiaoming Zhang, Zhenhua Duan, Cong Tian
      Pages 195-205
  6. Back Matter
    Pages 219-219

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, France, in November 2015. The 15 papers presented in this volume were carefully reviewed and selected from 22 submissions. 
The focus of this workshops was on following subjects: Modeling, specification, verification, model checking, testing, debugging, transformation, and algorithm.


Generic programming Genetic algorithm Model checking Reinforcement learning Semantic analysis Automated debugging Formal development Formal semantics Linear temporal logic Model driven Process scheduling Real-time systems Social networks Software analysis Software engineering Specification System modeling Temporal logic Verification XML

Editors and affiliations

  • Shaoying Liu
    • 1
  • Zhenhua Duan
    • 2
  1. 1.Hosei UniversityKoganei-shiJapan
  2. 2.Xidian UniversityXi’anChina

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-31219-4
  • Online ISBN 978-3-319-31220-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software