5228 search results - page 364 / 1046 » Case Studies for Software Engineers |
178
click to vote
ISSTA
2004
ACM
16 years 1 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
230
click to vote
PEPM
2009
ACM
16 years 3 days ago
2009
ACM
A well-known bad code smell in refactoring and software maintenance is duplicated code, or code clones. A code clone is a code fragment that is identical or similar to another. Un...
236
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Redundancy can improve the availability of components in service-oriented systems. However, predicting and quantifying the effects of different redundancy strategies can be a comp...
222
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
229
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...