Now showing items 1-10 of 11
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 ...
Legacy assembler reengineering and migration.
Combining dynamic and static slicing for analysing assembler.
Transformational programming and the derivation of algorithms.
Conditioned semantic slicing for abstraction; industrial experiment.
(John Wiley & Sons, 2008-10)
Towards a multilingual semantic folksonomy.
Slicing as a program transformation.
Formality, Agility, Security and Evolution in Software Development
Combining formal and agile techniques in software development has the potential to minimize change-related problems.