Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems

Maria-Ribera Sancho, Antoni Oliv

Browse the full CaiSE paper archive.