One of the most pressing practical problems faced by computer programmers is that of managing the development and maintenance of large software systems. This poses a challenge for computer scientists: how can computers best be applied to the software-development process?
KeywordsProof Obligation Editing Operation Derivation Tree Incremental Algorithm Current Selection
Unable to display preview. Download preview PDF.