4919 search results - page 149 / 984 » A Process-Ontological Model for Software Engineering |
WWW
2004
ACM
15 years 10 months ago
2004
ACM
This paper presents an approach and a toolset for exploiting the benefits of conceptual modeling in the quality evaluation tasks that take place both before the deployment and dur...
102
Voted
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
EUROMICRO
1998
IEEE
15 years 2 months ago
1998
IEEE
Software quality engineering is concerned with building software products with required quality and assessing the level of quality. Software processes are important assets in achi...
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
Defect-occurrence projection is necessary for the development of methods to mitigate the risks of software defect occurrences. In this paper, we examine user-reported software def...