From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems

Shmuel Katz, Awais Rashid

    Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

    25 Citations (Scopus)
    Original languageEnglish
    Title of host publication12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan
    Pages48-57
    Number of pages10
    DOIs
    Publication statusPublished - 2004

    Cite this