2030 search results - page 263 / 406 » Checklists for Software Engineering Case Study Research |
SOCO
2008
Springer
13 years 8 months ago
2008
Springer
Dynamic Aspect Oriented Programming (AOP) technologies typically provide coarse-grained mechanisms for adapting aspects that cross-cut a system deployment; i.e. whole aspect module...
ICFEM
2010
Springer
13 years 6 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
RE
2008
Springer
13 years 6 months ago
2008
Springer
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...
SERA
2010
Springer
13 years 6 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
XPU
2010
Springer
13 years 6 months ago
2010
Springer
Scrum was trialed at Cimex — a Digital Media Agency in the UK. Our insights centre in particular around the close interactions between the designers and developer working in the ...