Locating Crosscutting Concerns in the Formal Specification of Distributed Reactive Systems

Áreas de investigación:	Sin categoría	Año:	2005
Tipo de publicación:	Artículo
Autores:	2, 8 12
Journal:	ACM Software Engineering Notes	Volumen:	30
Número:	4	Páginas:	1-5
Mes:	Julio
BibTex:
@article{PGLB05a, author = "2,12,8,Ana Bel{\'e}n Barrag{\'a}ns Mart{\'i}nez", journal = "ACM Software Engineering Notes", month = "jul", number = "4", pages = "1--5", title = "{L}ocating {C}rosscutting {C}oncerns in the {F}ormal {S}pecification of {D}istributed {R}eactive {S}ystems", volume = "30", year = "2005", }