Feature-oriented description, formal methods, and DFC

MaRDI QIDQ4817048zbMATH OpenFDO

Authors Pamela Zave

Publication date 14 September 2004

Mathematics Subject Classification ID

Network protocols (68M12) Theory of software (68N99)

Recommendations

• An Algebra for Features and Feature Composition
• A formalized approach for describing feature-based design methodology
• Formal methods of analysis of system properties
• Algebraic treatment of feature-oriented systems
• Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15--16, 2000.

Cited in

(4)

• A formalized approach for describing feature-based design methodology
• scientific article; zbMATH DE number 1390340 (Why is no real title available?)
• Feature model and component semantics based conceptual architecture design
• Compositional Feature-Oriented Systems

This page was built for publication: Feature-oriented description, formal methods, and DFC

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