From aspectual requirements to proof obligations for aspect-oriented systems

@article{Katz2004FromAR,
  title={From aspectual requirements to proof obligations for aspect-oriented systems},
  author={Shmuel Katz and A. Rashid},
  journal={Proceedings. 12th IEEE International Requirements Engineering Conference, 2004.},
  year={2004},
  pages={48-57}
}
  • Shmuel Katz, A. Rashid
  • Published 2004
  • Computer Science
  • Proceedings. 12th IEEE International Requirements Engineering Conference, 2004.
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to handle crosscutting concerns at various stages during the software life cycle, there is a traceability gap between the aspects at the requirements level and those at later development stages. It is not clear what proof obligations about an aspect-oriented implementation follow from the initial aspectual requirements. This… Expand
52 Citations
Formal semantic conflict detection in aspect-oriented requirements
  • 16
A Formal Approach to Semantic Composition of Aspect-Oriented Requirements
  • 13
Aspect Oriented Requirements Engineering
  • 12
  • PDF
Towards a Meta Aspect for Traceability
  • 2
EA-Miner: a tool for automating aspect-oriented requirements identification
  • 102
Guidelines for the incremental identification of aspects in requirements specifications
  • 8
COMPASS: Composition-Centric Mapping of Aspectual Requirements to Architecture
  • 34
Metamodel for Tracing Concerns Across the Life Cycle
  • 9
  • PDF
Aspect-Oriented Requirements Engineering: An Introduction
  • A. Rashid
  • Computer Science
  • 2008 16th IEEE International Requirements Engineering Conference
  • 2008
  • 27
Keeping track of crosscutting requirements in UML models via context-based constraints
  • 2
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 33 REFERENCES
Early aspects: a model for aspect-oriented requirements engineering
  • 309
  • PDF
Modularisation and composition of aspectual requirements
  • 494
  • PDF
Multi-Perspective Specification, Design and Implementation of Software Components Using Aspects
  • J. Grundy
  • Computer Science
  • Int. J. Softw. Eng. Knowl. Eng.
  • 2000
  • 96
  • PDF
Towards a standard design language for AOSD
  • 113
  • PDF
Aspect-oriented requirements engineering for component-based software systems
  • J. Grundy
  • Computer Science
  • Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188)
  • 1999
  • 180
  • PDF
Composition patterns: an approach to designing reusable aspects
  • 306
JAC: A Flexible Solution for Aspect-Oriented Programming in Java
  • 266
Managing Process Inconsistency Using Viewpoints
  • 50
  • PDF
Aspect-oriented programming
  • 3,491
  • PDF
...
1
2
3
4
...