Component constraint detection based on proposition logic

zbMATH Open1150.68321MaRDI QIDQ3516461FDOQ3516461

Authors: Ning Chen, Boqin Feng 

Publication date: 6 August 2008

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

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)

Cited In (1)

• Title not available (Why is that?)

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)