An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Handbook of Research on Emerging Advancements and Technologies in Software Engineering
Place of Publication	Hershey, Pennsylvania, USA
Publisher	IGI Global (Information Science Publishing)
Pages	148
Number of pages	174
ISBN (Electronic)	9781466660274
ISBN (Print)	9781466660267
DOIs	https://doi.org/10.4018/978-1-4666-6026-7.ch008
Publication status	Published - 2014

Access to Document

Sabas, A., Shankar, S., Wiels, V., Meyer, J.-J. C., & Boyer, M. (2014). An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems. In Handbook of Research on Emerging Advancements and Technologies in Software Engineering (pp. 148). Article chapter 8 IGI Global (Information Science Publishing). https://doi.org/10.4018/978-1-4666-6026-7.ch008

@inbook{435ec94e9e3a494ab30e52b054e1bd9e,

title = "An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems",

author = "A. Sabas and S. Shankar and V. Wiels and Meyer, \{John-Jules Charles\} and M. Boyer",

year = "2014",

doi = "10.4018/978-1-4666-6026-7.ch008",

language = "English",

isbn = "9781466660267",

pages = "148",

booktitle = "Handbook of Research on Emerging Advancements and Technologies in Software Engineering",

publisher = "IGI Global (Information Science Publishing)",

}

Sabas, A, Shankar, S, Wiels, V, Meyer, J-JC & Boyer, M 2014, An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems. in Handbook of Research on Emerging Advancements and Technologies in Software Engineering ., chapter 8, IGI Global (Information Science Publishing), Hershey, Pennsylvania, USA, pp. 148. https://doi.org/10.4018/978-1-4666-6026-7.ch008

An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems. / Sabas, A.; Shankar, S.; Wiels, V. et al.
Handbook of Research on Emerging Advancements and Technologies in Software Engineering . Hershey, Pennsylvania, USA: IGI Global (Information Science Publishing), 2014. p. 148 chapter 8.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

TY - CHAP

T1 - An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems

AU - Sabas, A.

AU - Shankar, S.

AU - Wiels, V.

AU - Meyer, John-Jules Charles

AU - Boyer, M.

PY - 2014

Y1 - 2014

U2 - 10.4018/978-1-4666-6026-7.ch008

DO - 10.4018/978-1-4666-6026-7.ch008

M3 - Chapter

SN - 9781466660267

SP - 148

BT - Handbook of Research on Emerging Advancements and Technologies in Software Engineering

PB - IGI Global (Information Science Publishing)

CY - Hershey, Pennsylvania, USA

ER -