ZML : Z Formal Specifications Using XML

@inproceedings{Ankrum2003ZMLZ,
  title={ZML : Z Formal Specifications Using XML},
  author={T. Scott Ankrum},
  year={2003}
}
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… CONTINUE READING