4 citations · 5 across the 2 of their papers we have counts for
4 papers
Big Data Refinement
Eerke A. Boiten
"Big data" has become a major area of research and associated funding, as well as a focus of utopian thinking. In the still growing research community, one of the favourite optimis…
Proceedings 17th International Workshop on Refinement
John Derrick, Eerke Boiten, Steve Reeves
We are proud to present the papers from the 17th Refinement Workshop, co-located with FM 2015 held in Oslo, Norway on June 22nd, 2015. Refinement is one of the cornerstones of a fo…
Perspicuity and Granularity in Refinement
Eerke Boiten
This paper reconsiders refinements which introduce actions on the concrete level which were not present at the abstract level. It draws a distinction between concrete actions which…
Proceedings 15th International Refinement Workshop
John Derrick, Eerke Boiten, Steve Reeves
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specificatio…