5228 search results - page 530 / 1046 » Case Studies for Software Engineers |
222
click to vote
VLC
2008
15 years 7 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
179
click to vote
ICSM
2009
IEEE
15 years 5 months ago
2009
IEEE
Most of today's software applications are built on top of libraries or frameworks. Just as applications evolve, libraries and frameworks also evolve. Upgrading is straightfor...
229
click to vote
CODES
2011
IEEE
14 years 7 months ago
2011
IEEE
Reliability is a major requirement for most safety-related systems. To meet this requirement, fault-tolerant techniques such as hardware replication and software re-execution are ...
203
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on large-scale code repositories. While using CodeGenie developers design...
194
click to vote
AOSD
2012
ACM
14 years 2 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...