MENDELS ZONE: A parallel program development system based on formal specifications.

Shinichi Honiden Akihiko Ohsuga Naoshi Uchihira

Published in: Inf. Softw. Technol. (1996)

Keyphrases

formal specification
model checking
development process
specification languages
object oriented design
programming environments
concurrent systems
software testing
knowledge base
database systems
knowledge based systems
test cases
temporal logic
shared memory
practical experience