SPRAC: A Software Engineering Environment.

Michel Lemoine, Ren Jacquart, Guy Zanon

Browse the full STACS paper archive.