default search action

combined dblp search
author search
venue search
publication search

ask others

SOFL 2012: Kyoto, Japan

> Home > Conferences and Workshops > SOFL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/2012
Shaoying Liu:
Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7787, Springer 2013, ISBN 978-3-642-39276-4 [contents]

Testing and Tools

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/LiLLN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/LiLLN12
Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima:
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. 1-11
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ZhangL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ZhangL12
Weihang Zhang, Shaoying Liu:
Supporting Tool for Automatic Specification-Based Test Case Generation. 12-25
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/MiaoL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/MiaoL12
Weikai Miao, Shaoying Liu:
A Formal Specification-Based Integration Testing Approach. 26-43

Tools for Specification

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/LiL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/LiL12
Mo Li, Shaoying Liu:
Design and Implementation of a Tool for Specifying Specification in SOFL. 44-55
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangL12
Xi Wang, Shaoying Liu:
Development of a Supporting Tool for Formalizing Software Requirements. 56-70

Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/TianLD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/TianLD12
Cong Tian, Shaoying Liu, Zhenhua Duan:
Abstract Model Checking with SOFL Hierarchy. 71-86
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/YuDTY12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/YuDTY12
Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang:
Model Checking C Programs with MSVL. 87-103

Application and Prototyping

- view
  authority control:
- export record
  dblp key:
  - conf/sofl/NagoyaK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/NagoyaK12
Fumiko Nagoya, Tetsuo Kitagawa:
An Application of SOFL for Rapid Prototyping. 104-115
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/LingSK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/LingSK12
Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis:
Applying SOFL to a Generic Insulin Pump Software Design. 116-132
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/WangC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/WangC12
Yisheng Wang, Haopeng Chen:
Extension on Transactional Remote Services in SOFL. 133-147

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.