3792 search results - page 288 / 759 » Techniques for Trusted Software Engineering |
172
click to vote
APSEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
147
click to vote
ICESS
2007
Springer
16 years 24 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
177
click to vote
COMPSAC
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
150
click to vote
KBSE
2006
IEEE
16 years 20 days ago
2006
IEEE
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
135
click to vote
WETICE
2003
IEEE
15 years 12 months ago
2003
IEEE
Recently, Agile Software Processes have been discussed as flexible and light-weight alternatives to established Software Engineering approaches, in order to overcome the obstacles...