Sciweavers

WWW
2001
ACM
15 years 1 months ago
Object-Z web environment and projections to UML
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang