Buscar
Mostrando ítems 31-40 de 29529
Requirements engineering: Ontological analysis of its development in the literature Ingeniería de requerimientos: Análisis ontológico de su desarrollo en la literatura
(Associacao Iberica de Sistemas e Tecnologias de Informacao, 2019)
The Requirements Engineering activities have been considered as keys to the success of the Information Systems (IS) projects. A literary review of the IR would identify which areas of the discipline have been covered (birght ...
Specification Patterns: Formal and Easy
(World Scientific, 2015-05)
Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages ...
Towards a model-driven testing framework for GUI test cases generation from user stories
(Institute for Systems and Technologies of Information, Control and Communication INSTICC, 2021)
In the software testing stage, it is possible to benefit from combining the requirements with the testing specification activities. On the one hand, the specification of the tests will require less manual effort, since ...
Aspect Oriented Programming Methodology to Support the Design of Specific Domain Framework
(2014-07-04)
The aspect-oriented programming has valuable advantages over other programming paradigms, but in turn it presents difficulties when applying the concepts within the stages of analysis and development to reduce the drawbacks ...
An evolutionary approach to translating operational specifications into declarative specifications
(Elsevier Science, 2019-05)
Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many ...