Component constraint detection based on proposition logic

MaRDI QIDQ3516461zbMATH OpenFDO

Authors Ning Chen, Boqin Feng

Publication date 6 August 2008

zbMATH Keywords

detection algorithmtruth tableproposition logiccomponent constraint

Mathematics Subject Classification ID

Classical propositional logic (03B05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Formal design and implementation of constraints in software components
• scientific article; zbMATH DE number 1617314
• scientific article; zbMATH DE number 2084773
• Formal Verification for Components and Connectors
• Automata-based component composition analysis

Cited in

(1)

• scientific article; zbMATH DE number 1617314 (Why is no real title available?)

This page was built for publication: Component constraint detection based on proposition logic

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