Glossary entry (derived from question below)
English term or phrase:
refinement
Romanian translation:
imbunatariri progresive
Added to glossary by
Arabella K-
Jan 30, 2006 21:34
18 yrs ago
1 viewer *
English term
refinement
English to Romanian
Tech/Engineering
Computers: Hardware
Embedded Systems
In communication synthesis abstract busses will be replaced by real wires in a series of refinements.
Proposed translations
(Romanian)
5 +10 | imbunatariri treptate |
Romanian Translator (X)
![]() |
Proposed translations
+10
8 mins
Selected
imbunatariri treptate
"In formal methods, refinement is the verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program. Stepwise refinement allows this process to be done in stages. Logically, refinement normally involves implication, but there can be additional complications. Data refinement is used to convert an abstract data model (in terms of sets for example) into implementable data structures (such as arrays). Operation refinement converts a specification of an operation on a system into an implementable program (e.g., a procedure). The postcondition can be strengthened and/or the precondition weakened in this process. This reduces any nondeterminism in the specification, typically to a completely deterministic implementation."
http://en.wikipedia.org/wiki/Refinement
--------------------------------------------------
Note added at 14 mins (2006-01-30 21:48:46 GMT)
--------------------------------------------------
sau mai bine spus ..."imbunatatiri progrsive"
--------------------------------------------------
Note added at 16 mins (2006-01-30 21:51:09 GMT)
--------------------------------------------------
"imbunatatiri progresive" - typo!
http://en.wikipedia.org/wiki/Refinement
--------------------------------------------------
Note added at 14 mins (2006-01-30 21:48:46 GMT)
--------------------------------------------------
sau mai bine spus ..."imbunatatiri progrsive"
--------------------------------------------------
Note added at 16 mins (2006-01-30 21:51:09 GMT)
--------------------------------------------------
"imbunatatiri progresive" - typo!
4 KudoZ points awarded for this answer.
Comment: "Multumesc."
Something went wrong...