Immutability specification and its applications.

Igor Pechtchanski Vivek Sarkar

Published in: Java Grande (2002)

Keyphrases

high level
data sets
website
multiscale
formal methods
specification language
ims learning design
asynchronous circuits
real time
genetic algorithm
metadata
optimal solution
artificial neural networks
formal language
transition systems
ims qti