Couto R, Ribeiro AN, Campos JC.? 2014.??A study on the viability of formalizing Use Cases. 9th International Conference on the Quality of Information and Communications Technology (QUATIC).