An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ.

Shin Nakajima Kokichi Futatsugi

Published in: ICSE (1997)

Keyphrases

modeling method
object oriented
high speed railway
fuzzy neural network
hybrid genetic
formal specification
image processing
user interface
delay insensitive
pattern recognition
computational intelligence
manufacturing systems