Book Volume 7787 2013

Structured Object-Oriented Formal Language and Method

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


ISBN: 978-3-642-39276-4 (Print) 978-3-642-39277-1 (Online)

Table of contents (10 chapters)

  1. Front Matter

    Pages -

  2. Testing and Tools

    1. Chapter

      Pages 1-11

      Applying “Functional Scenario-Based” Test Case Generation Method in Unit Testing and Integration Testing

    2. Chapter

      Pages 12-25

      Supporting Tool for Automatic Specification-Based Test Case Generation

    3. Chapter

      Pages 26-43

      A Formal Specification-Based Integration Testing Approach

  3. Tools for Specification

    1. Chapter

      Pages 44-55

      Design and Implementation of a Tool for Specifying Specification in SOFL

    2. Chapter

      Pages 56-70

      Development of a Supporting Tool for Formalizing Software Requirements

  4. Model Checking

    1. Chapter

      Pages 71-86

      Abstract Model Checking with SOFL Hierarchy

    2. Chapter

      Pages 87-103

      Model Checking C Programs with MSVL

  5. Application and Prototyping

    1. Chapter

      Pages 104-115

      An Application of SOFL for Rapid Prototyping

    2. Chapter

      Pages 116-132

      Applying SOFL to a Generic Insulin Pump Software Design

    3. Chapter

      Pages 133-147

      Extension on Transactional Remote Services in SOFL

  6. Back Matter

    Pages -