论文部分内容阅读
FGSPEC is a wide spectrum specification language intended to facilitate the software specificationand the expression of transformation process from the functional specification which describes“what todo”to the corresponding design(operational)specification which describes“how to do”.The designemphasizes the coherence of multi-level specification mechanisms and a tree structure model is providedwhich unifies the wide spectrum specification styles from“what”to“how”.
FGSPEC is a wide spectrum specification language intended to facilitate the software specification and the expression of transformation process from the functional specification which describes “what todo” to the corresponding design (operational) specification which describes “how to do.” The designemphasizes the coherence of multi -level specification mechanisms and a tree structure model is providedwhich unifies the wide spectrum specification styles from “what” to “how.”