An algorithmic approach to large scale problem solving

This dissertation describes a thesis concerned with establishing the algorithmic approach to large scale problem solving. A framework of systems theory concepts applicable to problem solving is detailed. A new methodology, consisting of a comprehensive set of rules which permit the formalization of designs in CAD and software engineering, is presented. The relationship between the methodology and language is investigated. A language which supports the methodology is introduced. The language features are stated and their implications for solving large scale, problems are assessed. The use of the language and the methodology is demonstrated on a number of diverse examples.