The logic of propagation in the inscape environment
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A fifteen-year perspective on automatic programming
Software reusability
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Handbook of theoretical computer science (vol. B)
Communications of the ACM
Reconciling environment integration and software evolution
ACM Transactions on Software Engineering and Methodology (TOSEM)
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Using role components in implement collaboration-based designs
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adaptive plug-and-play components for evolutionary software development
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Putting metaclasses to work: a new dimension in object-oriented programming
Putting metaclasses to work: a new dimension in object-oriented programming
Distributed Feature Composition: A Virtual Architecture for Telecommunications Services
IEEE Transactions on Software Engineering
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Microsoft repository version 2 and the open information model
Information Systems - Special issue on meta-modelling and methodology engineering
Software product-line engineering: a family-based software development process
Software product-line engineering: a family-based software development process
Design Wizards and Visual Programming Environments for GenVoca Generators
IEEE Transactions on Software Engineering
MultiJava: modular open classes and symmetric multiple dispatch for Java
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Applying feature models in industrial settings
Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
Implementing product-line features by composing aspects
Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
Comparing frameworks and layered refinement
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Using multidimensional separation of concerns to (re)shape evolving software
Communications of the ACM
Handling crosscutting constraints in domain-specific modeling
Communications of the ACM
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Jiazzi: new-age components for old-fasioned Java
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Achieving extensibility through product-lines and domain-specific languages: a case study
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Discipline of Programming
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Fundamental Structures of Computer Science
Fundamental Structures of Computer Science
Generative Programming for Embedded Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Algebraic Specification and Program Development by Stepwise Refinement
LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
An experiment in feature engineering
Programming methodology
Interfaces for Modular Feature Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
Generating Product-Lines of Product-Families
Proceedings of the 17th IEEE international conference on Automated software engineering
JTS: Tools for Implementing Domain-Specific Languages
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Refinements and multi-dimensional separation of concerns
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Guest Editors' Introduction: Model-Driven Development
IEEE Software
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Consistency Checking in an Infrastructure for Large-Scale Generative Programming
Proceedings of the 19th IEEE international conference on Automated software engineering
Towards just-in-time middleware architectures
Proceedings of the 4th international conference on Aspect-oriented software development
A Framework to Specify Incremental Software Architecture Transformations
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
IEEE Transactions on Software Engineering
A disciplined approach to aspect composition
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Tool support for feature-oriented software development: featureIDE: an Eclipse-based approach
eclipse '05 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange
Feature oriented refactoring of legacy applications
Proceedings of the 28th international conference on Software engineering
Aspectual mixin layers: aspects and features in concert
Proceedings of the 28th international conference on Software engineering
Multilevel models in model-driven engineering, product lines, and metaprogramming
IBM Systems Journal - Model-driven software development
When to use features and aspects?: a case study
Proceedings of the 5th international conference on Generative programming and component engineering
Feature refactoring a multi-representation program into a product line
Proceedings of the 5th international conference on Generative programming and component engineering
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
From implementation to theory in product synthesis
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the duality of aspect-oriented and feature-oriented design patterns
Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software
Reflective layer activation in ContextL
Proceedings of the 2007 ACM symposium on Applied computing
Exploring Extensibility of Architectural Design Decisions
SHARK-ADI '07 Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent
ACoM '07 Proceedings of the First International Workshop on Assessment of Contemporary Modularization Techniques
A specification-based approach to testing software product lines
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
POSAML: A visual modeling language for middleware provisioning
Journal of Visual Languages and Computing
A specification-based approach to testing software product lines
The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers
Automated error analysis for the agilization of feature modeling
Journal of Systems and Software
Granularity in software product lines
Proceedings of the 30th international conference on Software engineering
Research challenges in the tension between features and services
Proceedings of the 2nd international workshop on Systems development in SOA environments
FAME-DBMS: tailor-made data management solutions for embedded systems
SETMDM '08 Proceedings of the 2008 EDBT workshop on Software engineering for tailor-made data management
Generating highly customizable SQL parsers
SETMDM '08 Proceedings of the 2008 EDBT workshop on Software engineering for tailor-made data management
Grammar-driven generation of domain-specific language debuggers
Software—Practice & Experience
Quality Assessment in Software Product Lines
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Lifting Transformational Models of Product Lines: A Case Study
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
An Algebra for Features and Feature Composition
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
On the Role of Architectural Design Decisions in Software Product Line Engineering
ECSA '08 Proceedings of the 2nd European conference on Software Architecture
The Objects and Arrows of Computational Design
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Code generation to support static and dynamic composition of software product lines
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
On the modularity of feature interactions
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Program refactoring using functional aspects
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Model replication: transformations to address model scalability
Software—Practice & Experience
An Introduction to Context-Oriented Programming with ContextS
Generative and Transformational Techniques in Software Engineering II
Software Engineering for Ensembles
Software-Intensive Systems and New Computing Paradigms
A Modeling Language for Program Design and Synthesis
Advances in Software Engineering
A comparative study of techniques to write customizable libraries
Proceedings of the 2009 ACM symposium on Applied Computing
FEATUREHOUSE: Language-independent, automated software composition
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Reasoning about edits to feature models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
FeatureIDE: A tool framework for feature-oriented software development
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Improving the development of context-dependent Java applications with ContextJ
International Workshop on Context-Oriented Programming
A comparison of context-oriented programming languages
International Workshop on Context-Oriented Programming
Using software product lines for runtime interoperability
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
AspectOptima: A Case Study on Aspect Dependencies and Interactions
Transactions on Aspect-Oriented Software Development V
Product Line Development of Web Systems with Conventional Tools
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Model Superimposition in Software Product Lines
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Feature (De)composition in Functional Programming
SC '09 Proceedings of the 8th International Conference on Software Composition
Language-Independent Quantification and Weaving for Feature Composition
SC '09 Proceedings of the 8th International Conference on Software Composition
Computer aided software design via inference and constraint propagation
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Feature-oriented runtime adaptation
Proceedings of the 2009 ESEC/FSE workshop on Software integration and evolution @ runtime
Using DITA for documenting software product lines
Proceedings of the 9th ACM symposium on Document engineering
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
A Case Study of Variation Mechanism in an Industrial Product Line
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
A model of refactoring physically and virtually separated features
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Safe composition of non-monotonic features
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Feature-oriented programming with Ruby
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
An orthogonal access modifier model for feature-oriented programming
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
How to compare program comprehension in FOSD empirically: an experience report
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
RobbyDBMS: a case study on hardware/software product line engineering
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Feature-oriented refinement of models, metamodels and model transformations
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Towards feature-driven planning of product-line evolution
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Type-Checking Software Product Lines - A Formal Approach
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
A cyber-physical middleware framework for continuous monitoring of water distribution systems
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Tailor-made data management for embedded systems: A case study on Berkeley DB
Data & Knowledge Engineering
Refinement by Interpretation in a General Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement of Software Product Line Architectures through Recursive Modeling Techniques
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
A calculus for uniform feature composition
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the impact of the optional feature problem: analysis and case studies
Proceedings of the 13th International Software Product Line Conference
Program refactoring, program synthesis, and model-driven development
CC'07 Proceedings of the 16th international conference on Compiler construction
Modeling features in aspect-based product lines with use case slices: an exploratory case study
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
ICWE'07 Proceedings of the 7th international conference on Web engineering
Streamlining feature-oriented designs
SC'07 Proceedings of the 6th international conference on Software composition
Coupling design and verification in software product lines
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Formal approach to integrating feature and architecture models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Superimposition: a language-independent approach to software composition
SC'08 Proceedings of the 7th international conference on Software composition
An analysis of the variability in forty preprocessor-based software product lines
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Experience of building an architecture-based generator using GenVoca for distributed systems
Science of Computer Programming
International Journal of Internet Technology and Secured Transactions
Type safety for feature-oriented product lines
Automated Software Engineering
An algebraic foundation for automatic feature-based program synthesis
Science of Computer Programming
Proceedings of the Fourth European Conference on Software Architecture: Companion Volume
A language for software variation research
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Code clones in feature-oriented software product lines
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Automating energy optimization with features
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Patching product line programs
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Pure delta-oriented programming
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Improving reuse of component families by generating component hierarchies
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Language-independent reference checking in software product lines
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Domain-specific composition of model deltas
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Thoughts on automated software design and synthesis
Proceedings of the FSE/SDP workshop on Future of software engineering research
Software factories: describing the assembly process
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Delta-oriented programming of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Improving the testing and testability of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
A hybrid approach to feature-oriented programming in XVCL
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Towards architecture-centric software generation
ECSA'10 Proceedings of the 4th European conference on Software architecture
On the need of safe software product line architectures
ECSA'10 Proceedings of the 4th European conference on Software architecture
Event-specific software composition in context-oriented programming
SC'10 Proceedings of the 9th international conference on Software composition
Multi-dimensional variability modeling
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Verification of software product lines with delta-oriented slicing
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
Compositional type-checking for delta-oriented programming
Proceedings of the tenth international conference on Aspect-oriented software development
Flexible feature binding in software product lines
Automated Software Engineering
Transactions on aspect-oriented software development VII
Change-based FODA diagrams: bridging the gap between feature-oriented design and implementation
Proceedings of the 2011 ACM Symposium on Applied Computing
Feature cohesion in software product lines: an exploratory study
Proceedings of the 33rd International Conference on Software Engineering
Transactions on aspect-oriented software development VII
Reusable software components for accelerator-based clusters
Journal of Systems and Software
An open implementation for context-oriented layer composition in ContextJS
Science of Computer Programming
Managing the quality of software product line architectures through reusable model transformations
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
The road to feature modularity?
Proceedings of the 15th International Software Product Line Conference, Volume 2
Towards variability support for security and dependability patterns: a case study
Proceedings of the 15th International Software Product Line Conference, Volume 2
Dynamic delta-oriented programming
Proceedings of the 15th International Software Product Line Conference, Volume 2
Understanding variability abstraction and realization
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Using feature locality: can we leverage history to avoid failures during reconfiguration?
Proceedings of the 8th workshop on Assurances for self-adaptive systems
Building a digital publishing platform using AOSD: experiences and lessons learned
Transactions on aspect-oriented software development VIII
Tailoring dynamic software product lines
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Feature interactions, products, and composition
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
The Choice Calculus: A Representation for Software Variation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Domain models are NOT aspect free
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Framework-Specific modeling languages with round-trip engineering
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Access control in feature-oriented programming
Science of Computer Programming
Variant-preserving refactoring in feature-oriented software product lines
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Towards fixing inconsistencies in models with variability
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Delta modeling in practice: a Fredhopper case study
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
On the refinement of use case models with variability support
Innovations in Systems and Software Engineering
VML* – a family of languages for variability management in software product lines
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Evaluating support for features in advanced modularization technologies
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Replicators: transformations to address model scalability
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Using step-wise refinement to build a flexible lightweight storage manager
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
FeatureC++: on the symbiosis of feature-oriented and aspect-oriented programming
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Feature-oriented programming with family polymorphism
Proceedings of the 3rd international workshop on Variability & Composition
Features and object capabilities: reconciling two visions of modularity
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Multi-view refinement of AO-connectors in distributed software systems
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Supporting production strategies as refinements of the production process
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Detecting inconsistencies in multi-view models with variability
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Coping with variability in model-based systems engineering: an experience in green energy
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
A model-driven architectural framework for integration-capable enterprise application product lines
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
A comparison of configuration techniques for model transformations
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
A tutorial on feature oriented programming and the AHEAD tool suite
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Using java CSP solvers in the automated analyses of feature models
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
A feature composition problem and a solution based on c++ template metaprogramming
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
A feature-oriented alternative to implementing reliability connector wrappers
Architecting Dependable Systems III
Towards a method for rigorous development of generic requirements patterns
Rigorous Development of Complex Fault-Tolerant Systems
Compositional algorithmic verification of software product lines
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Variability modelling in the ABS language
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
An aspectual feature module based adaptive design pattern for autonomic computing systems
ACIIDS'12 Proceedings of the 4th Asian conference on Intelligent Information and Database Systems - Volume Part III
Applying design by contract to feature-oriented programming
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Incremental construction of component-based systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
A commutative model composition operator to support software adaptation
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Building information system variants with tailored database schemas using features
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
FoVeOOS'11 Proceedings of the 2011 international conference on Formal Verification of Object-Oriented Software
Abstract delta modeling: my research plan
Proceedings of the 16th International Software Product Line Conference - Volume 2
An error-tolerant type system for variational lambda calculus
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
A formal foundation for dynamic delta-oriented software product lines
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Family-based deductive verification of software product lines
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
A calculus for modeling and implementing variation
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Comparing program comprehension of physically and virtually separated concerns
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
Object-oriented design in feature-oriented programming
FOSD '12 Proceedings of the 4th International Workshop on Feature-Oriented Software Development
A variability-aware module system
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
SPL Conqueror: Toward optimization of non-functional properties in software product lines
Software Quality Control
Program comprehension in preprocessor-based software
SAFECOMP'12 Proceedings of the 2012 international conference on Computer Safety, Reliability, and Security
Family-Based analysis of type safety for delta-oriented software product lines
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
A quantitative assessment of aspectual feature modules for evolving software product lines
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Feature-oriented language families: a case study
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Adding configuration to the choice calculus
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Using feature model knowledge to speed up the generation of covering arrays
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems
Information and Software Technology
On the impact of trace-based feature location in the performance of software maintainers
Journal of Systems and Software
Using roles to model crosscutting concerns
Proceedings of the 12th annual international conference on Aspect-oriented software development
A framework for managing cloned product variants
Proceedings of the 2013 International Conference on Software Engineering
Science of Computer Programming
Subclack: feature-oriented programming with behavioral feature interfaces
Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
Product-line verification with feature-oriented contracts
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Refinement-based testing of delta-oriented product lines
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools
Family-based performance measurement
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Using document-oriented GUIs in dynamic software product lines
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Extending Type Inference to Variational Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Feature-Oriented programming with object algebras
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Exploring feature interactions in the wild: the new feature-interaction challenge
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Implementing refactorings for FOP: lessons learned and challenges ahead
Proceedings of the 5th International Workshop on Feature-Oriented Software Development
Transactions on Aspect-Oriented Software Development X
Low-level variability support for web-based software product lines
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Structural feature interaction patterns: case studies and guidelines
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
A taxonomy of software product line reengineering
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
A Coalgebraic Perspective on Logical Interpretations
Studia Logica
| Hi-index | 0.00 |
Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Equations for Application Design) model that shows how step-wise refinement scales to synthesize multiple programs and multiple noncode representations. AHEAD shows that software can have an elegant, hierarchical mathematical structure that is expressible as nested sets of equations. We review a tool set that supports AHEAD. As a demonstration of its viability, we have bootstrapped AHEAD tools from equational specifications, refining Java and non-Java artifacts automatically; a task that was accomplished only by ad hoc means previously.