3792 search results - page 483 / 759 » Techniques for Trusted Software Engineering |
162
click to vote
WER
2007
Springer
16 years 25 days ago
2007
Springer
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
127
click to vote
CSMR
2006
IEEE
16 years 24 days ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
192
click to vote
ACL2
2006
ACM
16 years 21 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
179
click to vote
MSR
2006
ACM
16 years 21 days ago
2006
ACM
Modern source-control systems, such as Subversion, preserve change-sets of files as atomic commits. However, the specific ordering information in which files were changed is typic...
164
click to vote
ICSM
2005
IEEE
16 years 10 days ago
2005
IEEE
To remain competitive in the fast paced world of software development, managers must optimize the usage of their limited resources to deliver quality products on time and within b...