Buscar
Mostrando ítems 1-10 de 13198
Computational support for the process of software requirement specification
(2012-12-01)
The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these ...
Computational support for the process of software requirement specification
(2012-12-01)
The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these ...
Computational support for the process of software requirement specification
(Ieee, 2012-01-01)
The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these ...
Evidence of software inspection on feature specification for software product lines
(Journal of Systems and Software, 2013)
FIVE ONTOLOGICAL LEVELS TO DESCRIBE AND EVALUATE SOFTWARE ARCHITECTURES
(Universidad de TarapacáFacultad de Ingeniería, 2005)
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just ...
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
(2022-02)
La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, ...
Specification of software requirements with support of business process ontologies
(2019-08-01)
Business process models have supported interaction between business and software development teams, making possible to narrow the gap of domain understanding. However, the process view of these models can be enriched ...