Specification methodology: An integrated relational approach

Ali Mili; Wang Xiao‐Yang; Yu Qing

doi:10.1002/spe.4380161105

Specification methodology: An integrated relational approach

Ali Mili, Wang Xiao‐Yang, Yu Qing

Research output: Contribution to journal › Article › peer-review

12 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 language	English (US)
Pages (from-to)	1003-1030
Number of pages	28
Journal	Software: Practice and Experience
Volume	16
Issue number	11
DOIs	https://doi.org/10.1002/spe.4380161105
State	Published - Nov 1986
Externally published	Yes

All Science Journal Classification (ASJC) codes

Software

Keywords

Program specification
Programming methodology
Specification generation
Specification methodology
Specification validation

Access to Document

10.1002/spe.4380161105

Cite this

@article{5f43db759f80454791deb91b2716ab2f,

title = "Specification methodology: An integrated relational approach",

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.",

keywords = "Program specification, Programming methodology, Specification generation, Specification methodology, Specification validation",

author = "Ali Mili and Wang Xiao‐Yang and Yu Qing",

year = "1986",

month = nov,

doi = "10.1002/spe.4380161105",

language = "English (US)",

volume = "16",

pages = "1003--1030",

journal = "Software: Practice and Experience",

issn = "0038-0644",

publisher = "John Wiley and Sons Ltd",

number = "11",

}

TY - JOUR

T1 - Specification methodology

T2 - An integrated relational approach

AU - Mili, Ali

AU - Xiao‐Yang, Wang

AU - Qing, Yu

PY - 1986/11

Y1 - 1986/11

N2 - 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.

AB - 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.

KW - Program specification

KW - Programming methodology

KW - Specification generation

KW - Specification methodology

KW - Specification validation

UR - http://www.scopus.com/inward/record.url?scp=0022806612&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0022806612&partnerID=8YFLogxK

U2 - 10.1002/spe.4380161105

DO - 10.1002/spe.4380161105

M3 - Article

AN - SCOPUS:0022806612

SN - 0038-0644

VL - 16

SP - 1003

EP - 1030

JO - Software: Practice and Experience

JF - Software: Practice and Experience

IS - 11

ER -

Specification methodology: An integrated relational approach

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this