A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra

No abstract is available for this paper.

• Publication year

  2010

• Venue

  Workshop em Engenharia de Requisitos

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An algebra of product families

  2011influential reference
• Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations

  2009cited by this paper
• Efficient compilation techniques for large scale feature models

  2008cited by this paper
• Formal Model Driven Approach to Deal with Requirements Volatility

  2008cited by this paper
• Algebraic View Reconciliation

  2008cited by this paper
• Generic semantics of feature diagrams

  2007cited by this paper
• Industry Survey of Product Lines Management Tools: Requirements, Qualities and Open Issues

  2007influential reference
• New methods in software product line practice

  2006cited by this paper
• Some Examples

  2006cited by this paper
• Feature Algebra

  2006influential reference
• The PLUSS Approach - Domain Modeling with Features, Use Cases and Use Case Realizations

  2005cited by this paper
• A consumer report on BDD packages

  2003cited by this paper
• On the Design and Development of Program Families

  2001cited by this paper
• FID: feature interaction detection tool

  2000cited by this paper
• Generative Programming: Methods, Tools, and Applications

  2000cited by this paper
• Logic in Computer Science: Modelling and Reasoning about Systems

  2000cited by this paper
• Binary Decision Diagrams

  1999cited by this paper
• Integrating feature modeling with the RSEB

  1998cited by this paper
• FORM: A feature-;oriented reuse method with domain-;specific reference architectures

  1998cited by this paper
• Integrating 001 Tool Support Into the Feature-Oriented Domain Analysis Methodology.

  1993cited by this paper
• Symbolic Boolean manipulation with ordered binary-decision diagrams

  1992cited by this paper
• Graph-Based Algorithms for Boolean Function Manipulation

  1986cited by this paper
• Fundamentals of Algebraic Specification 1: Equations and Initial Semantics

  1985cited by this paper
• Calculus is Algebra.

  1982cited by this paper
• Representation of switching circuits by binary-decision programs

  1959cited by this paper

• The Role of Complex Constraints in Feature Modeling: Master’s Thesis

  2016cites this paper
• Proofs of the convergence of the rewriting system for the weaving of aspects in the AO-PFA language by Qinglei Zhang

  2013cites this paper
• ASPECT-ORIENTED PRODUCT FAMILY MODELING

  2013cites this paper
• An aspect-oriented language for feature-modeling

  2013influential citation
• Software Engineering and Formal Methods

  2012influential citation
• An Aspect-Oriented Language for Product Family Specification

  2012cites this paper
• Verification of Aspectual Composition in Feature-Modeling

  2012cites this paper
• An Aspect-Oriented Language Based on Product Family Algebra: Aspects Specification and Verification

  2011cites this paper