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
2004
Highly Cited
2004
Design and programming of embedded multiprocessors: an interface-centric approach
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task… 
Review
2003
Review
2003
Scaling step-wise refinement
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features… 
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
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 
Review
1943
Review
1943
QUANTITATIVE MEASUREMENTS OF CEREBRAL BLOOD FLOW IN THE MACACQUE MONKEY
After reviewing the evidence available in 1936, Wolff (12) made the following statement: " Unfortunately, the amount of blood… 
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)