A formal object approach to the design of ZML

DOI10.1023/A:1016513914276zbMath1012.68573OpenAlexW1562982566MaRDI QIDQ1859519

Hai Wang, Jing Liu, Jing Sun, Jin-Song Dong

Publication date: 19 February 2003

Published in: Annals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016513914276

zbMATH Keywords

formal specificationUMLXML/XSL/XMIZ/Object-Z/TCOZ

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Theory of software (68N99)

Related Items (1)

Theorem prover approach to semistructured data design

Uses Software

• RAISE
• TCOZ

This page was built for publication: A formal object approach to the design of ZML