1689 search results - page 135 / 338 » Empirical Methodologies in Software Engineering |
127
click to vote
ICSE
2011
IEEE-ACM
14 years 5 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
102
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Reproducing and learning from failures in deployed software is costly and difficult. Those activities can be facilitated, however, if the circumstances leading to a failure are p...
105
click to vote
IWPSE
2003
IEEE
15 years 7 months ago
2003
IEEE
Packages are the basic units of release and reuse in software development. The contents and boundaries of packages should therefore be chosen to minimize change propagation and ma...
126
click to vote
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
COMPSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...