3792 search results - page 454 / 759 » Techniques for Trusted Software Engineering |
167
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
309
click to vote
AADEBUG
2005
Springer
16 years 10 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
181
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software internationalization aims to make software accessible and usable by users all over the world. For a Java application that does not consider internationalization at the be...
178
click to vote
OOPSLA
2005
Springer
16 years 8 days ago
2005
Springer
Design patterns are applied in software development to decouple individual concerns, so that a change in a design decision is isolated to one location of the code base. However, m...
165
click to vote
SEKE
2004
Springer
16 years 3 days ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...