5228 search results - page 504 / 1046 » Case Studies for Software Engineers |
184
click to vote
PST
2008
15 years 8 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
212
click to vote
FPL
2007
Springer
16 years 1 months ago
2007
Springer
Modern platform FPGAs integrate fine-grained reconfigurable logic with processor cores and allow the creation of complete configurable systems-on-chip. However, design methodol...
195
click to vote
RSP
2005
IEEE
16 years 25 days ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
215
click to vote
ISOOMS
1994
15 years 11 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
210
click to vote
TSE
2008
15 years 7 months ago
2008
Current text based Software Configuration Management (SCM) systems have trouble with refactorings. Refactorings result in global changes which lead to merge conflicts. A refactorin...