The object-oriented classification paradigm
Research directions in object-oriented programming
Eiffel: the language
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Separation and composition of concerns in the object-oriented model
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Proving assertions is also useful
ACM SIGPLAN Notices
Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Multi-paradigm design for C++
Atlas: a case study in building a web-based learning environment using aspect-oriented programming
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On the criteria to be used in decomposing systems into modules
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
A Discipline of Programming
Computer
Aspects in Distributed Environments
GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Executable Assertions and Separate Compilation
JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
Generative Programming (GP) with C++
JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
Implementing Layered Designs with Mixin Layers
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Aspect-Oriented Programming Using Composition-Filters
ECOOP '98 Workshop ion on Object-Oriented Technology
Explicit Aspect Composition by Part-Whole State Charts
Proceedings of the Workshop on Object-Oriented Technology
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '98 Workshop ion on Object-Oriented Technology
A Version Model for Aspect Dependency Management
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Building Composable Aspect-Specific Languages with Logic Metaprogramming
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
The paradoxical success of aspect-oriented programming
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Contracts for aspect-oriented design
Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies
Verification Support for Generative System Development
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A versatile kernel for multi-language AOP
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Designing a domain-specific contract language: a metamodelling approach
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Aspects of composition in the reflex AOP kernel
SC'06 Proceedings of the 5th international conference on Software Composition
Family-based deductive verification of software product lines
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Design pattern-based extension of class hierarchies to support runtime invariant checks
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Subclack: feature-oriented programming with behavioral feature interfaces
Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance
An automatic generation strategy for test cases based on constraints
ICIC'13 Proceedings of the 9th international conference on Intelligent Computing Theories and Technology
| Hi-index | 0.00 |
The composition of software units has been one of the main research topics in computer science. This paper addresses the composition validation problem evolving in this context. It focuses on the composition for a certain kind of units called aspects. Aspects are a new concept which is introduced by aspect-oriented programming aiming at a better separation of concerns. Cross-cutting code is captured and localised in these aspects. Some of the cross-cutting features which are expressed in aspects cannot be woven with other features into the same application since two features could be mutually exclusive. With a growing number of aspects, manual control of these dependencies becomes error-prone or even impossible. We show how assertions can be useful in this respect to support the software developer.