Parameterized Programming in OBJ2.

Kokichi Futatsugi Joseph A. Goguen José Meseguer Koji Okada

Published in: ICSE (1987)

Keyphrases

programming language
multiscale
object oriented programming
real time
databases
learning algorithm
artificial intelligence
decision making
website
hidden markov models
object oriented
software development
programming paradigms