From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems

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

25 Citations (Scopus)

Original language	English
Title of host publication	12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan
Pages	48-57
Number of pages	10
DOIs	https://doi.org/10.1109/RE.2004.22
Publication status	Published - 2004

Access to Document

@inproceedings{9b4e7167ecc94e1eb0239eb592daffe0,

title = "From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems",

author = "Shmuel Katz and Awais Rashid",

year = "2004",

doi = "10.1109/RE.2004.22",

language = "English",

pages = "48--57",

booktitle = "12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan",

}

TY - GEN

T1 - From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems

AU - Katz, Shmuel

AU - Rashid, Awais

PY - 2004

Y1 - 2004

U2 - 10.1109/RE.2004.22

DO - 10.1109/RE.2004.22

M3 - Conference Contribution (Conference Proceeding)

SP - 48

EP - 57

BT - 12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan

ER -