Object-extending class transformations

DOI10.1007/BF01211306MaRDI QIDQ1336949zbMATH OpenFDO

Authors Karl J. Lieberherr, Walter L. Hürsch, Cun Xiao

Publication date 26 February 1996

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01211306

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(1)

• An extendible language for database schema refinement transformations

Describes a project that uses

Uses Software

• Eiffel
• GemStone

This page was built for publication: Object-extending class transformations

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