Z is presently the most fashionable formal specification. But as a whole, the theory and technology of Z specification isn't extensively applied in industry field.
是目前最为流行的一种形式规格说明语言,但就总体而言,Z规格说明的理论和技术尚未达到可以在工业界广泛应用的程度。
Z That was Lit Z, and it did indeed imply every other form of theory, and it was extremely rigorous and interesting, but it wasn't a survey.
这就是文学,那门课极其严格,也非常有趣,但它不是概论。
应用推荐