A fifteen-year perspective on automatic programming
Software reusability
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
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software 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
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
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
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
Generative Programming for Embedded Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
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
A tutorial on feature oriented programming and product-lines
Proceedings of the 25th International Conference on Software Engineering
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
A language based formalism for domain driven development
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A language based formalism for domain driven development
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An approach for supporting aspect-oriented domain modeling
Proceedings of the 2nd international conference on Generative programming and component engineering
Towards a Context-Driven Development Framework for Ambient Intelligence
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Feature-Oriented Programming and the AHEAD Tool Suite
Proceedings of the 26th International Conference on Software Engineering
Consistency Checking in an Infrastructure for Large-Scale Generative Programming
Proceedings of the 19th IEEE international conference on Automated software engineering
Formal Support for Development of JavaBeans" Component Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Variability management with feature-oriented programming and aspects
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Reuse and variability in large software applications
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Traits: A mechanism for fine-grained reuse
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finding and documenting the specialization interface of an application framework
Software—Practice & Experience
Eliminating distinctions of class: using prototypes to model virtual classes
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Middleware specialization using aspect oriented programming
Proceedings of the 44th annual Southeast regional conference
ACM Transactions on Software Engineering and Methodology (TOSEM)
Framework specialization aspects
Proceedings of the 6th international conference on Aspect-oriented software development
Program entanglement, feature interaction and the feature language extensions
Computer Networks: The International Journal of Computer and Telecommunications Networking
Highly configurable transaction management for embedded systems
Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software
Classifying variability modeling techniques
Information and Software Technology
Feature Oriented Model Driven Development: A Case Study for Portlets
ICSE '07 Proceedings of the 29th international conference on Software Engineering
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
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
An Institutional Theory for #-Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Model checking for aspect-oriented software evolution
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Domain-specific languages and program generation with meta-AspectJ
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Reuse beyond Components with XVCL (Tutorial)
Generative and Transformational Techniques in Software Engineering II
Confluence in Domain-Independent Product Line Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening
Journal of Systems and Software
Extending AspectJ for separating regions
GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Dead or Alive: finding zombie features in the Linux kernel
FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Measuring and characterizing crosscutting in aspect-based programs: basic metrics and case studies
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Implementing software product lines using traits
Proceedings of the 2010 ACM Symposium on Applied Computing
Multi-stage aspect-oriented composition of component-based applications
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Generic feature-based software composition
SC'07 Proceedings of the 6th international conference on Software composition
Automating the construction of domain-specific modeling languages for object-oriented frameworks
Journal of Systems and Software
Tag and prune: a pragmatic approach to software product line implementation
Proceedings of the IEEE/ACM international conference on Automated software engineering
Multi-Level Product Line Customization
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Dynamically adaptable software product lines using Ruby metaprogramming
FOSD '10 Proceedings of the 2nd International Workshop on Feature-Oriented Software Development
Separating testing concerns by means of models
Proceedings of the 1st Workshop on Testing Object-Oriented Systems
ISA packager: a tool for SPL deployment
Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems
Statically safe program generation with SafeGen
Science of Computer Programming
Flexible generators for software reuse and evolution (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
University-industry collaboration journey towards product lines
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Goal-based behavioral customization of information systems
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Explicit use-case representation in object-oriented programming languages
Proceedings of the 7th symposium on Dynamic languages
A Generative Programming Framework for Context-Aware CSCW Applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Remodularizing Java programs for improved locality of feature implementations in source code
Science of Computer Programming
rbFeatures: Feature-oriented programming with Ruby
Science of Computer Programming
Using domain features to handle feature interactions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Concern-based development of pattern systems
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
A comparison of program generation with aspect-oriented programming
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Towards the development of ubiquitous middleware product lines
SEM'04 Proceedings of the 4th international conference on Software Engineering and Middleware
Managing variability using heterogeneous feature variation patterns
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Context-driven model refinement
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Explicit platform models for MDA
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
Applying a generative technique for enhanced genericity and maintainability on the J2EE platform
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Statically safe program generation with safegen
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Mapping features to models: a template approach based on superimposed variants
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
ContextErlang: introducing context-oriented programming in the actor model
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
A feature-oriented alternative to implementing reliability connector wrappers
Architecting Dependable Systems III
Transactions on Aspect-Oriented Software Development I
Rigorous Methods for Software Construction and Analysis
Context-oriented programming: A software engineering perspective
Journal of Systems and Software
Behavioral adaptation of information systems through goal models
Information Systems
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Foundations of coloring algebra with consequences for feature-oriented programming
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Variability in service-oriented systems: an analysis of existing approaches
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Continuous test suite augmentation in software product lines
Proceedings of the 17th International Software Product Line Conference
Design principles for internal domain-specific languages: a pattern catalog illustrated by Ruby
Proceedings of the 17th Conference on Pattern Languages of Programs
Generation of conjoint domain models for system-of-systems
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Hi-index | 0.01 |
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 non-code 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 solely from equational specifications, generating Java and non-Java artifacts automatically, a task that was accomplished only by ad hoc means previously.