322 search results - page 40 / 65 » Software Quality and Life Cycles |
IASTEDSEA
2004
13 years 11 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
ISLPED
2010
ACM
13 years 10 months ago
2010
ACM
Electrical energy is a high quality form of energy that can be easily converted to other forms of energy with high efficiency and, even more importantly, it can be used to control...
CBSE
2008
Springer
13 years 12 months ago
2008
Springer
Efficiency with respect to energy consumption has increasingly been recognized as an important quality attribute for distributed software systems in embedded and pervasive environm...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
SEW
2006
IEEE
14 years 3 months ago
2006
IEEE
Acquisition of “quantitative” models of sufficient accuracy to enable effective analysis of requirements tradeoffs is hampered by the slowness and difficulty of obtaining su...