Recent developments in research on formal methods made formal specification languages to be widely used in industrial applications. In particular, formal specification languages are mainly used to understand and/or to...
详细信息
Recent developments in research on formal methods made formal specification languages to be widely used in industrial applications. In particular, formal specification languages are mainly used to understand and/or to analyze requirements of software systems, though they can be used at all stages of software development. When combined with object-oriented approach, formal specification languages have cumulative advantages such as analyzing properties of objects in isolation and supporting reusability. In this tutorial, I describe the object-oriented formal specification language object-Z and how it can be used to capture requirements of a software system. object-Z is an object-oriented extension of the formal specification language Z.
暂无评论