Forward simulation for data refinement of classes

DOI10.1007/3-540-45614-7_27MaRDI QIDQ4808846zbMATH OpenFDO

Authors Ana Cavalcanti, David A. Naumann

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2391/23910471.htm

zbMATH Keywords

data refinementobject-orientationprogram analysis and verificationsoundness of simulation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• An analysis of forward simulation data refinement
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• State-level and value-level simulations in data refinement
• A forward approach to numerical data assimilation
• Generic Forward and Backward Simulations
• scientific article; zbMATH DE number 10605
• A method to enrich experimental datasets by means of numerical simulations in view of classification tasks
• On the refinement and simulation of data types and processes
• Refinement checking based on simulation relations

Cited in

(7)

• State-level and value-level simulations in data refinement
• Sound refactorings
• On assertion-based encapsulation for object invariants and simulations
• Refactoring and representation independence for class hierarchies
• An analysis of forward simulation data refinement
• Angelic nondeterminism in the unifying theories of programming
• Observational purity and encapsulation

This page was built for publication: Forward simulation for data refinement of classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808846)