User Queries for Specification Refinement Treating Shared Aspect Join Points

Emilia Katz, Shmuel Katz. User Queries for Specification Refinement Treating Shared Aspect Join Points. In José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini, editors, 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. pages 73-82, IEEE Computer Society, 2010. [doi]

Authors

Emilia Katz

This author has not been identified. Look up 'Emilia Katz' in Google

Shmuel Katz

This author has not been identified. Look up 'Shmuel Katz' in Google