Using a Protean Language to Enhance Expressiveness in Specification

Bard Bloom, Allan Cheng, Ashvin Dsouza. Using a Protean Language to Enhance Expressiveness in Specification. IEEE Trans. Software Eng., 23(4):224-234, 1997. [doi]

Abstract

Abstract is missing.