Formal Engineering for Industrial Software Development
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642058271, 9783662072875

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Basic Data Types

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_7 ◽

2004 ◽

pp. 143-149

Author(s):

Shaoying Liu

Keyword(s):

Basic Data ◽

Data Types

Download Full-text

Propositional Logic

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_2 ◽

2004 ◽

pp. 21-35 ◽

Cited By ~ 1

Author(s):

Shaoying Liu

Keyword(s):

Propositional Logic

Download Full-text

The Software Development Process

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_14 ◽

2004 ◽

pp. 235-260

Author(s):

Shaoying Liu

Keyword(s):

Software Development ◽

Development Process ◽

Software Development Process

Download Full-text

A Case Study — Modeling an ATM

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_16 ◽

2004 ◽

pp. 269-301 ◽

Cited By ~ 1

Author(s):

Shaoying Liu

Download Full-text

Introduction

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_1 ◽

2004 ◽

pp. 1-19

Author(s):

Shaoying Liu

Download Full-text

Classes

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_13 ◽

2004 ◽

pp. 209-233

Author(s):

Shaoying Liu

Download Full-text

The Union Types

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_12 ◽

2004 ◽

pp. 203-207

Author(s):

Shaoying Liu

Download Full-text

Explicit Specifications

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_6 ◽

2004 ◽

pp. 133-141

Author(s):

Shaoying Liu

Download Full-text

Hierarchical CDFDs and Modules

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_5 ◽

2004 ◽

pp. 117-132

Author(s):

Shaoying Liu

Download Full-text

The Module

Formal Engineering for Industrial Software Development ◽

10.1007/978-3-662-07287-5_4 ◽

2004 ◽

pp. 53-115

Author(s):

Shaoying Liu

Download Full-text