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 concerning characteristics of requirem...