A visual programming environment for Z specifications.
Stephen Wang-Cheung LamKeith C. C. ChanHareton K. N. LeungLawrence ChungPublished in: APSEC (1997)
Keyphrases
- visual programming environment
- medical image analysis
- delay insensitive
- high level
- specification language
- formal specification
- deformable models
- image processing
- multiscale
- image analysis
- programming language
- formal language
- control flow
- functional requirements
- medical images
- data sets
- software engineering
- image data
- natural language
- decision trees
- social networks