Structured Object-Oriented Formal Language and Method

Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

  • Shaoying Liu
Conference proceedings SOFL 2012
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7787)

Table of contents

  1. Front Matter
  2. Testing and Tools

  3. Tools for Specification

  4. Model Checking

    1. Cong Tian, Shaoying Liu, Zhenhua Duan
      Pages 71-86
    2. Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang
      Pages 87-103
  5. Application and Prototyping

    1. Fumiko Nagoya, Tetsuo Kitagawa
      Pages 104-115
    2. Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis
      Pages 116-132
    3. Yisheng Wang, Haopeng Chen
      Pages 133-147
  6. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.

Keywords

functional scenario modeling approach tempporal logic testing verification

Editors and affiliations

  • Shaoying Liu
    • 1
  1. 1.Faculty of Computer and Information Sciences, Department of Computer ScienceHosei UniversityTokyoJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-39277-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39276-4
  • Online ISBN 978-3-642-39277-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349