5228 search results - page 278 / 1046 » Case Studies for Software Engineers |
210
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
217
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
163
click to vote
COMPSAC
2006
IEEE
16 years 25 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
209
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
195
click to vote
AGILEDC
2003
IEEE
16 years 2 days ago
2003
IEEE
The paper presents a sketch of a framework-based agile reengineering process, named PARFAIT1 , whose objective is to provide the users with evolved versions of legacy systems, as ...