Modular feature integration and validation in a synchronous context

MaRDI QIDQ4817061zbMATH OpenFDO

Authors Nicolas Zuanon

Publication date 14 September 2004

zbMATH Keywords

feature-based systems

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• A modular approach to the specification and validation of an electrical flight control system
• An incremental method for the design of feature-oriented systems
• Objects, Agents, and Features
• Using symbolic model checking to detect service interactions in telecommunication services

Cited in

(2)

• A modular approach to the specification and validation of an electrical flight control system
• scientific article; zbMATH DE number 5262648 (Why is no real title available?)

This page was built for publication: Modular feature integration and validation in a synchronous context

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