Specification methodology: An integrated relational approach

Ali Mili, Wang Xiao‐Yang, Yu Qing

Research output: Contribution to journalArticlepeer-review

12 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)1003-1030
Number of pages28
JournalSoftware: Practice and Experience
Issue number11
StatePublished - Nov 1986
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software


  • Program specification
  • Programming methodology
  • Specification generation
  • Specification methodology
  • Specification validation


Dive into the research topics of 'Specification methodology: An integrated relational approach'. Together they form a unique fingerprint.

Cite this