This paper is concernedwith a mechanizedformal treatment of the transformational software development process in a unified framework. We utilize the PVS system to formally represent, verify and correctly apply generic software development steps and development methods from different existing transformational approaches. We illustrate our approach by representing the well-known divide-and-conquer paradigm, two optimization steps, and by formally deriving a mergesort program.
CITATION STYLE
Dold, A. (2000). Software development in PVS using generic development steps. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1766, pp. 146–161). Springer Verlag. https://doi.org/10.1007/3-540-39953-4_12
Mendeley helps you to discover research relevant for your work.