PLEASE: Executable specifications for incremental software development

Robert B. Terwilliger, Roy H. Campbell. PLEASE: Executable specifications for incremental software development. Journal of Systems and Software, 10(2):97-112, 1989. [doi]

Abstract

Abstract is missing.