Back to Search Start Over

From Descriptive Specifications to Operational Ones

Authors :
Helmut A. Partsch
Source :
Specification and Transformation of Programs ISBN: 9783540525899
Publication Year :
1990
Publisher :
Springer Berlin Heidelberg, 1990.

Abstract

This chapter deals with the problem Given a descriptive problem specification, how many a solution be derived?. since solving this problem needs ideas, experience, and intuition on the developer’s side, it should be clear that it cannot be solved by purely mechanical reasoning.

Details

ISBN :
978-3-540-52589-9
ISBNs :
9783540525899
Database :
OpenAIRE
Journal :
Specification and Transformation of Programs ISBN: 9783540525899
Accession number :
edsair.doi...........b6671cf39b484ace272f4c99edf4ccf1
Full Text :
https://doi.org/10.1007/978-3-642-61512-2_5