By reading, you can know the knowledge and things more, not only about what you get from people to people. Book will be more trusted. As this introduction to formal specification and z, it will really give you the good idea to be successful. It is not only for you to be success in certain life you can be successful in everything. The success can be started by knowing the basic knowledge and do ...

This paper focuses on comparison on formal specification languages and chooses the appropriate one for a particular problem. Formal specification is a better way to identifying specification errors and describing specification in unambiguous ways. Formal specification is a specification written in a formal language where a formal language is either based on rigorous mathematical model or simply...

This paper describes a project, the purpose of which was to determine the feasibility of using XML as a vehicle for carrying the contextual meaning of a Z formal specification. This paper describes a definition of the popular Z (pronounced z G), formal specification language, in terms of an eXtensible Markup Language (XML) Data Type Definition (DTD). Using the Sun JAXB tool, we wrote a Java pro...

This paper describes an approach to visualizing Z specifications based on Formal Concept Analysis (FCA). The approach takes a source specification written in LTEX and produces a formal context representing the static structure of the specification. The corresponding formal concept lattice can be used to investigate and explore various properties of the specification. The line diagram does not r...

Community Z Tools (CZT) is an integrated framework for the Z formal specification language. In this paper, we show how it is also designed to support extensions of Z, in a way that minimises the work required to build a new Z extension. The goals of the framework are to maximise extensibility and reuse, and minimise code duplication and maintenance effort. To achieve these goals, CZT uses a var...

Formal methods are usually used for computer system specification, production and verification. In this paper, a new direction for the use of formal methods is proposed, namely formalization of the regulatory requirements for software of safety-critical control systems. Formal regulatory requirements, as opposed to formal specifications for a concrete system, have a generic nature, are applicab...

As modern complex systems become increasingly large, sophisticated, feature-rich and data-intensive, people have recognized the importance of precisely and unambiguously specifying them with formal methods for a number of years. This paper advocates the use of Object-Z, a formal specification language, in the description of complex systems. Object-Z is an extension to the Z language to facilita...

This paper presents a web environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z specification language. It not only supports graphical editing and global accessibility for the Z formal specifications, but also provides model comprehension faci...

The primary purpose of a specification is to make explicit the intentions of designers. For these intentions to be expressed precisely, a formal (mathematical) language should be used. The use of a formal language per se does not guarantee that intentions will be expressed correctly, but provides a basis for arguments of correctness. Z is a rich and expressive formal language. Arguments of corr...