Specification methodology: An integrated relational approach

Ali Mili, Wang Xiao‐Yang, Yu Qing

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

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.

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

All Science Journal Classification (ASJC) codes

  • Software

Keywords

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

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

Cite this