3792 search results - page 106 / 759 » Techniques for Trusted Software Engineering |
115
click to vote
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
138
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
125
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
135
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
116
Voted
CGO
2010
IEEE
15 years 10 months ago
2010
IEEE
Decoupled Software Pipelining (DSWP) is one approach to automatically extract threads from loops. It partitions loops into long-running threads that communicate in a pipelined man...