2030 search results - page 227 / 406 » Checklists for Software Engineering Case Study Research |
SERP
2003
13 years 9 months ago
2003
Different advances have been made in the development of software process improvement (SPI) standards and models, e.g. capability maturity model (CMM), more recently CMMI, and ISO...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
We report on the fourth in a series of studies on the reliability of application programs in the face of random input. Over the previous 15 years, we have studied the reliability ...
EWSPT
2001
Springer
14 years 19 days ago
2001
Springer
The emerging field of mobile computing (MC) studies systems in which computational components may change locations. In terms of hardware, mobile work is usually across heterogene...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
DLS
2009
13 years 6 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...