NUSL: An Executable Specification Language Based on Data Abstraction.

XinJie Jiang YongSen Xu

Published in: VDM Europe (1988)

Keyphrases

formal specification
data abstraction
specification language
model checking
reverse engineering
software components
artificial intelligence
fine grained
databases
data mining
information systems
high level
multi agent systems