Specification methodology: An integrated relational approach
Ali Mili, Wang Xiao‐Yang, Qing Yu · Software Practice and Experience · 1986
Abstract The effectiveness of set theoretic concepts for the purpose of software specification is becoming more and more widely recognized. This paper presents an integrated relational methodology for software specification, and shows its effectivness when applied to a practical example.