127 search results - page 20 / 26 » jss 2006 |
79
Voted
JSS
2006
14 years 9 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
JSS
2006
14 years 9 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
JSS
2006
14 years 9 months ago
2006
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
JSS
2006
14 years 9 months ago
2006
Many claims have been made about the consequences of not documenting design rationale. The general perception is that designers and architects usually do not fully understand the ...
JSS
2006
14 years 9 months ago
2006
Current software systems contain increasingly more elements that have not usually been considered in software engineering research and studies. Source artifacts, understood as the...