Co-Refinement
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Viewpoint specification and ZInformation and Software Technology, 1994
- Viewpoints for requirements definitionSoftware Engineering Journal, 1992
- Constructing specifications by combining parallel elaborationsIEEE Transactions on Software Engineering, 1989
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- The date refinement calculator for Z specificationsInformation Processing Letters, 1988
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- A comparative analysis of methodologies for database schema integrationACM Computing Surveys, 1986