977 search results - page 81 / 196 » Formal methods integration in software engineering |
152
click to vote
CLEIEJ
2007
15 years 4 months ago
2007
: ‘Human factor’ is one of the most relevant and crucial aspects of software development projects management. Aiming at the performance improvement for software processes in or...
122
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
While many uses of mined software engineering data are automatic in nature, some techniques and studies either require, or can be improved, by manual methods. Unfortunately, manua...
136
click to vote
ISSRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, based on software reliability growth models with generalized logistic testing-effort function, we study three optimal resource allocation problems in modular softwa...
122
click to vote
ICSM
2000
IEEE
15 years 8 months ago
2000
IEEE
Several reverse engineering methods for recovering objects from legacy systems have been proposed in the literature, but most of them neglect to identify the relationships among t...
158
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...