Component Contract-Based Interface Specification Technique Using Z.

Ji-Hyun Lee Cheol-Jung Yoo Ok-Bae Chang

Published in: Int. J. Softw. Eng. Knowl. Eng. (2002)

Keyphrases

user interface
supply chain
high level
object oriented
formal verification
graphical interface
database
neural network
artificial intelligence
e learning
human computer interaction
formal specification
visual interface