Beyond functional behavior: combining methods to specify different classes of properties of large systems

Jeannette M. Wing. Beyond functional behavior: combining methods to specify different classes of properties of large systems. ACM SIGSOFT Software Engineering Notes, 10(4):102-104, 1985. [doi]

Abstract

Abstract is missing.