Refiner: A Problem-Solving Environment for Scientific Simulator Creation (Q4456573): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4499070 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3136316 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3999896 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4255530 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Qualitative simulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4244407 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4382602 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023355 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Program development by stepwise refinement / rank
 
Normal rank

Latest revision as of 16:09, 6 June 2024

scientific article; zbMATH DE number 2058331
Language Label Description Also known as
English
Refiner: A Problem-Solving Environment for Scientific Simulator Creation
scientific article; zbMATH DE number 2058331

    Statements

    Refiner: A Problem-Solving Environment for Scientific Simulator Creation (English)
    0 references
    0 references
    0 references
    0 references
    16 March 2004
    0 references
    0 references
    code generation
    0 references
    formal specification
    0 references
    program refinement
    0 references
    program transformation
    0 references
    PSE
    0 references
    scientific simulation
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references