Method redefinition-ensuring alternative behaviors

DOI10.1016/J.IPL.2004.09.004MaRDI QIDQ834963zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 27 August 2009

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2004.09.004

zbMATH Keywords

program specificationspecification languagesmethod redefinitiondesign by contract

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Sound and relaxed behavioural inheritance
• On the correctness of data type classes based on contracts
• scientific article; zbMATH DE number 1860619
• scientific article; zbMATH DE number 1569128
• Publication:4730749

Cites work

• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• Foundations of component-based systems.

Describes a project that uses

Uses Software

• Eiffel
• JML

This page was built for publication: Method redefinition-ensuring alternative behaviors

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