Part II: specifying components in RESOLVE

Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, Bruce W. Weide. Part II: specifying components in RESOLVE. ACM SIGSOFT Software Engineering Notes, 19(4):29-39, 1994. [doi]

Abstract

Abstract is missing.