Premium
Specification methodology: An integrated relational approach
Author(s) -
Mili Ali,
XiaoYang Wang,
Qing Yu
Publication year - 1986
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380161105
Subject(s) - computer science , software requirements specification , software engineering , set (abstract data type) , software , programming language , software development , software design
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.