Now showing items 1-2 of 2
Provably Correct Derivation of Algorithms Using FermaT
The transformational programming method of algorithm derivation starts with a formal specification of the result to be achieved, plus some informal ideas as to what techniques will be used in the implementation. The ...
Formality, Agility, Security and Evolution in Software Development
Combining formal and agile techniques in software development has the potential to minimize change-related problems.