@conference {DBLP:journals/corr/CoutoRC16, title = {Validating an Approach to Formalize Use Cases with Ontologies}, booktitle = {Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016.}, year = {2016}, note = {

n/a

}, pages = {1{\textendash}15}, abstract = {

n/a

}, doi = {10.4204/EPTCS.205.1}, url = {https://doi.org/10.4204/EPTCS.205.1}, attachments = {https://haslab.uminho.pt/sites/default/files/ruicouto/files/1603.08632.pdf}, author = {Rui Couto and Ant{\'o}nio Nestor Ribeiro and Jos{\'e} Creissac Campos} }