Formal design and implementation of constraints in software components

DOI10.1016/J.ADVENGSOFT.2009.12.014MaRDI QIDQ964358zbMATH OpenOpenAlexFDO

Authors Antonio Coronato, Giuseppe de Pietro

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)

Recommendations

• scientific article; zbMATH DE number 1947729
• scientific article; zbMATH DE number 2163031
• scientific article; zbMATH DE number 1617314
• Formal Verification for Components and Connectors
• scientific article; zbMATH DE number 2087524

Cites work

• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 1947729 (Why is no real title available?)
• An axiomatic basis for computer programming
• jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation

Cited in

(12)

• Component constraint detection based on proposition logic
• scientific article; zbMATH DE number 1945860 (Why is no real title available?)
• scientific article; zbMATH DE number 1903401 (Why is no real title available?)
• scientific article; zbMATH DE number 2088761 (Why is no real title available?)
• scientific article; zbMATH DE number 2088931 (Why is no real title available?)
• scientific article; zbMATH DE number 1096964 (Why is no real title available?)
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 2089404 (Why is no real title available?)
• scientific article; zbMATH DE number 1617314 (Why is no real title available?)
• scientific article; zbMATH DE number 2086566 (Why is no real title available?)
• scientific article; zbMATH DE number 2087524 (Why is no real title available?)
• scientific article; zbMATH DE number 1947729 (Why is no real title available?)

Describes a project that uses

Uses Software

• jContractor

This page was built for publication: Formal design and implementation of constraints in software components

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