scientific article; zbMATH DE number 1696910

MaRDI QIDQ2767201zbMATH OpenFDO

Authors Marielle Doche, Virginie Wiels

Publication date 28 January 2002

zbMATH Keywords

category theoryformal specificationfunctional test generationinstitutions

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Institutions: abstract model theory for specification and programming
• scientific article; zbMATH DE number 1368950
• scientific article; zbMATH DE number 3864486
• scientific article; zbMATH DE number 3999262
• scientific article; zbMATH DE number 1706341

Cited in

(1)

• Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

This page was built for publication:

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