A method of acquiring formal specifications from examples
Jian Jiang Lu · ACM SIGSOFT Software Engineering Notes · 1992
The acquisition of the formal specification is very important in software development automation. This paper presents a method which combines the concept formation and the antecedent derivation mechanism to accomplish the automatic acquisition of the formal specification from the example specification and the plausibility of the generated formal specification is guaranteed in some sense.