Z Specifications Meet Mathematica for Exploratory Prototyping.

Linda B. Sherrell William Paulsen

Published in: ICRE (2000)

Keyphrases

code generation
delay insensitive
databases
formal specification
concurrent systems
real time
decision making
image processing
high level
data model
mobile robot
software development
finite state machines
information visualization
rapid prototyping