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.
Highly Cited
2018
Highly Cited
2018
Galaxies in a simulated Lambda CDM Universe-I . Cold mode and hot cores
We study the formation of galaxies in a large volume (50h Mpc, 2 × 288 particles) cosmological simulation, evolved using the… 
Highly Cited
2007
Highly Cited
2007
Reduction of Numerical Parameter Dependencies in Diesel Spray Models
Numerical grid and time-step-dependencies of Discrete Droplet Lagrangian spray models are identified. The two main sources of… 
Highly Cited
2003
Highly Cited
2003
Auto-generating Test Sequences Using Model Checkers: A Case Study
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These… 
Highly Cited
2001
Highly Cited
2001
Embedded UML: a merger of real-time UML and co-design
In this paper, we present a proposal for a UML profile called 'Embedded UML'. Embedded UML represents a synthesis of various… 
Highly Cited
2000
Highly Cited
2000
COSY communication IP's
The Fsprit/OMI-COSY project defines transaction-levels to set-up the exchange of IP's in separating function from architecture… 
Highly Cited
1999
Highly Cited
1999
Crystal structure of the microporous titanosilicate ETS-10 refined from single crystal X-ray diffraction data
ETS-10 crystals up to 45 µm in size have been synthesized at 240 °C under a pressure of 80 MPa and the structure refined from… 
Highly Cited
1997
Highly Cited
1997
Desulfoferrodoxin structure determined by MAD phasing and refinement to 1.9-Å resolution reveals a unique combination of a tetrahedral FeS4 centre with a square pyramidal FeSN4 centre
Abstract The structure of desulfoferrodoxin (DFX), a protein containing two mononuclear non-heme iron centres, has been solved by… 
Highly Cited
1983
Highly Cited
1983
Palladio: An exploratory environment for circuit design
Palladio is a circuit design environment for experimenting with methodologies and knowledge-based, expert-system design aids. Its… 
Review
1982
Review
1982
Electrochemical Detection Methods for Monoamine Measurements in Vitro and in Vivo
At least five or six chapters in earlier volumes of this series have dealt directly or indirectly (in methodology sections) with… 
Highly Cited
1981
Highly Cited
1981
The applicability of 500-MHz high-resolution 1H-NMR spectroscopy for the structure determination of carbohydrates derived from glycoproteins
Abstract 
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)