Formal design and implementation of constraints in software components

DOI10.1016/j.advengsoft.2009.12.014zbMath1191.68188OpenAlexW2024412873MaRDI QIDQ964358

Giuseppe de Pietro, Antonio Coronato

Publication date: 15 April 2010

Published in: Advances in Engineering Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.advengsoft.2009.12.014

zbMATH Keywords

component based applicationsformal designlegacy componentsmethodologies and tools

Mathematics Subject Classification ID

Theory of software (68N99)

Uses Software

• jContractor

Cites Work

• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item