SVG Web Environment for Z Specification Language.

Jing Sun Hai H. Wang Sasanka Athauda Tazkiya Sheik

Published in: ICFEM (2005)

Keyphrases

web environment
specification language
description language
formal specification
programming language
web services
information management
web data
mobile devices
multimedia
multi agent systems
database
software architecture
general purpose
object oriented
reinforcement learning
artificial intelligence