Program Compatibility Approaches

DOI10.1007/11804192_12MaRDI QIDQ3591398zbMATH OpenOpenAlexFDO

Authors Natasha Sharygina, Nishant Sinha, Edmund Clarke

Publication date 11 September 2007

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Recommendations

• Compatibility and inheritance in software architectures
• Compatibility in a multi-component environment
• scientific article; zbMATH DE number 1903369
• scientific article; zbMATH DE number 194366
• On the compatibility of various versions of the programmed iteration method.
• On compatibility
• Compatible systems and ramification

Cited in

(4)

• Threaded behavior protocols
• scientific article; zbMATH DE number 1036744 (Why is no real title available?)
• FM 2005: Formal Methods
• On merging software extensions

This page was built for publication: Program Compatibility Approaches

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