From semantic web to expressive software specifications: a modeling languages spectrum.

Jin Song Dong

Browse the full ICSE paper archive.