Specification methodology: An integrated relational approach

DOI10.1002/SPE.4380161105MaRDI QIDQ3738546zbMATH OpenOpenAlexFDO

Authors Xiaoyang Wang, Qing Yu, Ali Mili

Publication date 1986

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380161105

zbMATH Keywords

program specificationsoftware specificationspecification generationspecification validation

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1481757
• Using formal methods to specify the functional properties of engineering software
• scientific article; zbMATH DE number 483965
• scientific article; zbMATH DE number 1487549
• scientific article; zbMATH DE number 1019598

Cites work

• A generalized control structure and its formal definition
• A relational theory of computing
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3424017 (Why is no real title available?)
• The new math of computer programming

Cited in

(7)

• On the lattice of specifications: Applications to a specification methodology
• Study of the diagnosability of automated production systems based on functional graphs
• Regularity of relations: A measure of uniformity
• Using formal methods to specify the functional properties of engineering software
• scientific article; zbMATH DE number 2065277 (Why is no real title available?)
• scientific article; zbMATH DE number 1487549 (Why is no real title available?)
• Requirements analysis for engineering computation: a systematic approach for improving reliability

This page was built for publication: Specification methodology: An integrated relational approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3738546)