Skip to search formSkip to main contentSkip to account menu

Refinement (computing)

Known as: Program Refinement, Data refinement, Refinement type 
Refinement is a generic term of computer science that encompasses various approaches for producing correct computer programs and simplifying existing… 
Wikipedia (opens in a new tab)

Related topics

Related topics

29 relations
Agile software developmentArray data structureB-MethodCoSMoS

Broader (2)

Computer programmingFormal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Machine Learning and Materials Informatics: Recent Applications and Prospects
Propelled partly by the Materials Genome Initiative, and partly by the algorithmic developments and the resounding successes of… 
Highly Cited
2010
Highly Cited
2010
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a… 
Highly Cited
2009
Highly Cited
2009
Entrepreneurial Self–Efficacy: Refining the Measure
A growing number of studies on entrepreneurial motivation, intentions, and behavior include entrepreneurial self–efficacy (ESE… 
Highly Cited
2007
Highly Cited
2007
Dauter Iterative model building , structure refinement and density modification with the PHENIX AutoBuild wizard
Copyright © International Union of Crystallography Author(s) of this paper may load this reprint on their own web site or… 
Highly Cited
2005
Highly Cited
2005
Coarse-to-Fine n-Best Parsing and MaxEnt Discriminative Reranking
Discriminative reranking is one method for constructing high-performance statistical parsers (Collins, 2000). A discriminative… 
Highly Cited
2002
Highly Cited
2002
The Web Service Modeling Framework WSMF
Review
2000
Review
2000
Pairing symmetry in cuprate superconductors
Pairing symmetry in the cuprate superconductors is an important and controversial topic. The recent development of phase… 
Highly Cited
1996
Highly Cited
1996
A Validation of Object-Oriented Design Metrics as Quality Indicators
This paper presents the results of a study in which we empirically investigated the suite of object-oriented (OO) design metrics… 
Highly Cited
1996
Highly Cited
1996
Organizational knowledge, learning and memory: three concepts in search of a theory
There is much interest in organizational knowledge following the recognition of its strategic place in inter‐firm competition… 
Review
1948
Review
1948
Experimental Immunochemistry
Physiology of the Salivary Glands A. S. V. BURGEN, M.D.(LOND.), M.R.C.P., and N. G. EMMELIN, M.D.(LUND). Pp. vii + 279… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)