Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"refinement model"”.
-
The Programming Theory of Creativity
… creativity. I then critique Antonia Peacocke's refinement model of creativity, which seeks to reconcile the requirements of intention and novelty through the concept of a proto-work. I argue that there are creative products that the refinement model fails to recognize as such, including those …
-
An algebraic model of software evolution
A model of the software evolution process, called the Abstraction Refinement Model, is described which builds on the algebraic influence of the Laws of Programming and the transformational Draco Paradigm. The result is an algebraic structure consisting of the states of the software product (system …
-
Verifying a Quantitative Relaxation of Linearizability via Refinement
… quasi linearizability of the implementation model of a concurrent data structure. The method is based on checking the refinement relation between the implementation model and a specification model via explicit state model checking. It can directly handle multi-threaded programs where each …