Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642392764, 9783642392771

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Applying SOFL to a Generic Insulin Pump Software Design

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_9 ◽

2013 ◽

pp. 116-132 ◽

Cited By ~ 1

Author(s):

Chung-Ling Ling ◽

Wuwei Shen ◽

Dionysios Kountanis

Keyword(s):

Software Design ◽

Insulin Pump

Download Full-text

Development of a Supporting Tool for Formalizing Software Requirements

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_5 ◽

2013 ◽

pp. 56-70 ◽

Cited By ~ 1

Author(s):

Xi Wang ◽

Shaoying Liu

Keyword(s):

Software Requirements ◽

Supporting Tool

Download Full-text

A Formal Specification-Based Integration Testing Approach

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_3 ◽

2013 ◽

pp. 26-43 ◽

Cited By ~ 2

Author(s):

Weikai Miao ◽

Shaoying Liu

Keyword(s):

Formal Specification ◽

Integration Testing ◽

Testing Approach

Download Full-text

Supporting Tool for Automatic Specification-Based Test Case Generation

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_2 ◽

2013 ◽

pp. 12-25

Author(s):

Weihang Zhang ◽

Shaoying Liu

Keyword(s):

Test Case Generation ◽

Test Case ◽

Supporting Tool

Download Full-text

An Application of SOFL for Rapid Prototyping

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_8 ◽

2013 ◽

pp. 104-115

Author(s):

Fumiko Nagoya ◽

Tetsuo Kitagawa

Keyword(s):

Rapid Prototyping

Download Full-text

Model Checking C Programs with MSVL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_7 ◽

2013 ◽

pp. 87-103 ◽

Cited By ~ 8

Author(s):

Yan Yu ◽

Zhenhua Duan ◽

Cong Tian ◽

Mengfei Yang

Keyword(s):

Model Checking ◽

C Programs

Download Full-text

Abstract Model Checking with SOFL Hierarchy

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_6 ◽

2013 ◽

pp. 71-86 ◽

Cited By ~ 1

Author(s):

Cong Tian ◽

Shaoying Liu ◽

Zhenhua Duan

Keyword(s):

Model Checking ◽

Abstract Model ◽

Abstract Model Checking

Download Full-text

Design and Implementation of a Tool for Specifying Specification in SOFL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_4 ◽

2013 ◽

pp. 44-55

Author(s):

Mo Li ◽

Shaoying Liu

Keyword(s):

Design And Implementation

Download Full-text

Extension on Transactional Remote Services in SOFL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_10 ◽

2013 ◽

pp. 133-147

Author(s):

Yisheng Wang ◽

Haopeng Chen

Keyword(s):

Remote Services

Download Full-text

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

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39277-1_1 ◽

2013 ◽

pp. 1-11

Author(s):

Cencen Li ◽

Mo Li ◽

Shaoying Liu ◽

Shin Nakajima

Keyword(s):

Test Case Generation ◽

Test Case ◽

Unit Testing ◽

Integration Testing

Download Full-text

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Applying SOFL to a Generic Insulin Pump Software Design

Development of a Supporting Tool for Formalizing Software Requirements

A Formal Specification-Based Integration Testing Approach

Supporting Tool for Automatic Specification-Based Test Case Generation

An Application of SOFL for Rapid Prototyping

Model Checking C Programs with MSVL

Abstract Model Checking with SOFL Hierarchy

Design and Implementation of a Tool for Specifying Specification in SOFL

Extension on Transactional Remote Services in SOFL

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

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
Latest Publications