A farmework for formalizing Inconsistencies and deviations in human centred systems (1996)

by G Cugola, E Di Nitto, A Fuggetta, C Ghezzi
Venue:ACM Transactions on software engineering and methodology (TOSEM), Vol