A logical reasoning approach to automatic composition of stateless components

MaRDI QIDQ3601415zbMATH OpenFDO

Authors Seyyed Vahid Hashemian, Farhad Mavaddat

Publication date 10 February 2009

Mathematics Subject Classification ID

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

Recommendations

• Automatic Composition of Stateless Components: A Logical Reasoning Approach
• scientific article; zbMATH DE number 2113972
• scientific article; zbMATH DE number 1931058
• scientific article; zbMATH DE number 2084371
• Automata-based component composition analysis

Cited in

(4)

• Reusing software components in telecommunications network engineering
• Automatic Composition of Stateless Components: A Logical Reasoning Approach
• scientific article; zbMATH DE number 1104380 (Why is no real title available?)
• scientific article; zbMATH DE number 1931058 (Why is no real title available?)

This page was built for publication: A logical reasoning approach to automatic composition of stateless components

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