Deduction-based software component retrieval

MaRDI QIDQ2702605zbMATH OpenFDO

Authors Bernd Fischer, Johann Schumann, Gregor Snelting

Publication date 6 November 2001

zbMATH Keywords

software reuse

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1543299
• SETHEO goes software engineering: application of ATP to software reuse
• Reuse of proofs in software verification
• scientific article; zbMATH DE number 90776
• Applying information-retrieval methods to software reuse: A case study.

Cited in

(5)

• scientific article; zbMATH DE number 90776 (Why is no real title available?)
• scientific article; zbMATH DE number 2033543 (Why is no real title available?)
• scientific article; zbMATH DE number 1543299 (Why is no real title available?)
• scientific article; zbMATH DE number 1754545 (Why is no real title available?)
• SETHEO goes software engineering: application of ATP to software reuse

Describes a project that uses

Uses Software

• E-SETHEO
• SETHEO
• SPASS
• Amphion
• PROTEIN
• mural
• PARIS

This page was built for publication: Deduction-based software component retrieval

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