Flexible Module Operation Scheme in Formal Specification Process

In this paper, we describe a fundamental and important activity named “Specification Generation” in specification process which generates a specijcation from requirements, the output of the prior requirement process. We propose a new mechanism of specification languages which moderate requirements adding, deleting and changing. It follows our consideration… CONTINUE READING