Lessons from Using Z to Specify a Software Tool.

Martin Neil Gary Ostrolenk Mary Tobin Mark Southworth

Published in: IEEE Trans. Software Eng. (1998)

Keyphrases

lessons learned
database
expert systems
information systems
digital images
data sets
databases
neural network
computer vision
computer science