Back to Search
Start Over
From Descriptive Specifications to Operational Ones
- 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.
- Subjects :
- Problem description
Computer science
Existential quantification
Calculus
Intuition
Subjects
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