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...

Full description

Bibliographic Details
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