Validating an Approach to Formalize Use Cases with Ontologies
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...
Main Authors: | Rui Couto, António Nestor Ribeiro, José Creissac Campos |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2016-03-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1603.08632v1 |
Similar Items
-
Application of Ontologies in Identifying Requirements Patterns in Use Cases
by: Rui Couto, et al.
Published: (2014-04-01) -
Matching a Trope Ontology to the Basic Formal Ontology
by: Richard de Rozario
Published: (2019-07-01) -
Construction of Formal Ontology on Computer
by: Yelda FIRAT, et al.
Published: (2013-01-01) -
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
by: Yamine Ait Ameur, et al.
Published: (2018-05-01) -
Toward a formal ontology for narrative
by: Ciotti, Fabio
Published: (2016-03-01)