Søkt på: Søkeresultat
totalt 8 treff
Deductive Program Design
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical …
Constructive Methods in Computing Science
Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. …
Program Design Calculi
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software …
Programming and Mathematical Method
The Summer School in Marktoberdorf 1990 had as its overall theme the development of programs as an activity that can be carried out based on and supported by a mathematical method. …
Mathematical Methods in Program Development
Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, …
Program Design Calculi
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software …
Deductive Program Design
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical …
Logic of Programming and Calculi of Discrete Design
In computing science design plays an eminently important role. By now, it is quite clear that the issue of proper design of programs within a formal calculus is one of the most …