Digestion-based Software Formal Transformation Model

beta

Digestion-based Software Formal Transformation Model

Zou Heng-ming

2007

Citations

Journal

Computer Engineering

Semantic Scholar

Key Takeaway

Key Takeaway: The digestion-based software formal transformation model automatically transforms natural language-based requirements into formal representations, improving software design faults.

Abstract

Requirement specification fault is one kind of software design faults.This paper presents a digestion-based software formal transformation model that eliminates the weak link existing in today’s software formal method approach,and automatically transform natural language-based requirement into formal representation.

Text copied to clipboard

copied to clipboard