Amanote Research
Register
Sign In
Product-Line Verification With Feature-Oriented Contracts
doi 10.1145/2483760.2492396
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2013
Authors
Thomas Thüm
Publisher
ACM Press
Related search
Verification of Software Product Lines With Delta-Oriented Slicing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Feature Models as Service Contracts in Service Oriented Architecture
International Journal of Services, Technology and Management
Management
Marketing
Strategy
Engineering
Computer Science Applications
E-learning
Feature Models as Service Contracts in Service Oriented Architecture
International Journal of Services, Technology and Management
Management
Marketing
Strategy
Engineering
Computer Science Applications
E-learning
Code Clones in Feature-Oriented Software Product Lines
Detecting Feature Duplication in a CRM Product Line
Journal of Software
Middleware Specialization for Product-Lines Using Feature-Oriented Reverse Engineering
Feature-Based Object Oriented Modelling (FOOM): Implementation of a Process to Extract and Extend Software Product Line Architectures.
A Fine-Grain and Feature-Oriented Product Database for Collaborative Engineering
Evaluating Feature Change Impact on Multi-Product Line Configurations Using Partial Information
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science