Computer-based problem solving process

"The author looks at the issues of how computing are used and taught, with a focus on embedding computers within problem solving process by making computer language part of natural language of the domain instead of embedding problem domain in the computer by programming. The book builds on previous editions of system software and software systems, concepts and methodology and develops a framework for software creation that supports domain-oriented problem solving process adapting Polya's four steps methodology for mathematical problem solving: Formalize the problem; Develop an algorithm to solve the problem; Perform the algorithm on the data characterizing the problem; Validate the solution."--

Preface; Part 1 Systems Methodology; 1. Introduction to System Software; 1.1 Abstraction Manipulation; 1.2 Systems Methodology; 1.2.1 Problem solving; 1.2.2 Problem context; 1.3 System, Informally; 1.4 The Environment of a System; 1.5 Universe of Discourse; 2. Formal Systems; 2.1 Fundamentals of Set Theory; 2.1.1 Operations with sets; 2.1.2 Ordered pairs; 2.1.3 Relations on a set; 2.2 Formal Systems; 2.2.1 Abstract systems; 2.2.2 Homomorphisms and isomorphisms; 2.2.3 Deductive systems (Calculi); 2.2.3.1 Turing Machine; 2.2.3.2 Post Systems; 2.2.3.3 Normal Algorithms.

2.2.3.4 Grammars2.2.4 Constructing formal systems; 2.3 Characterizing a Formal System; 2.3.1 Algebraic systems; 2.3.2 Algebraic specification; 3. Ad Hoc Systems; 3.1 Systematic Approach for Ad Hoc System Construction; 3.2 Ad Hoc System Formalization; 3.3 Software System Specification; 3.4 Software System Implementation; 3.5 Software System Validation; 3.6 Ad Hoc System Characterization; 3.7 List Management System; 4. Common Systems in Software Development; 4.1 Transition Systems; 4.1.1 Transition characterization; 4.1.2 Computation; 4.2 Language of Actions; 4.2.1 Process.

4.3 Computing Systems4.3.1 Constructing a co…