Validating an Approach to Formalize Use Cases with Ontologies

dc.contributor.author Rui Miguel Couto en
dc.contributor.author António Nestor Ribeiro en
dc.contributor.author José Creissac Campos en
dc.date.accessioned 2017-12-21T23:37:17Z
dc.date.available 2017-12-21T23:37:17Z
dc.date.issued 2016 en
dc.description.abstract Use case driven development methodologies put use cases at the center of the software development process. However, in order to support automated development and analysis, use cases need to be appropriately formalized. This will also help guarantee consistency between requirements specifications and developed solutions. Formal methods tend to suffer from take up issues, as they are usually hard to accept by industry. In this context, it is relevant not only to produce languages and approaches to support formalization, but also to perform their validation. In previous works we have developed an approach to formalize use cases resorting to ontologies. In this paper we present the validation of one such approach. Through a three stage study, we evaluate the acceptance of the language and supporting tool. The first stage focusses on the acceptance of the process and language, the second on the support the tool provides to the process, and finally the third one on the tool's usability aspects. Results show test subjects found the approach feasible and useful and the tool easy to use. en
dc.identifier.uri http://repositorio.inesctec.pt/handle/123456789/4721
dc.identifier.uri http://dx.doi.org/10.4204/eptcs.205.1 en
dc.language eng en
dc.relation 5599 en
dc.relation 6000 en
dc.relation 5639 en
dc.rights info:eu-repo/semantics/openAccess en
dc.title Validating an Approach to Formalize Use Cases with Ontologies en
dc.type article en
dc.type Publication en
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-00K-ARK.pdf
Size:
416.37 KB
Format:
Adobe Portable Document Format
Description: