596 search results - page 73 / 120 » Case Studies as Assessment Tools in Software Engineering Cla... |
90
Voted
SAC
2010
ACM
14 years 11 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
ISSE
2010
14 years 9 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
78
Voted
MSR
2006
ACM
15 years 4 months ago
2006
ACM
The development of libre (free/open source) software is usually performed by geographically distributed teams. Participation in most cases is voluntary, sometimes sporadic, and of...
104
Voted
ASWEC
2007
IEEE
15 years 5 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
82
Voted
COMPSAC
2007
IEEE
15 years 2 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...