596 search results - page 73 / 120 » Case Studies as Assessment Tools in Software Engineering Cla... |
SAC
2010
ACM
13 years 9 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
13 years 7 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...
MSR
2006
ACM
14 years 2 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...
ASWEC
2007
IEEE
14 years 3 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...
COMPSAC
2007
IEEE
14 years 28 days 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...