411 search results - page 12 / 83 » Controlling Requirements Evolution: An Avionics Case Study |
IWPSE
2007
IEEE
14 years 1 months ago
2007
IEEE
The starting point for software evolution is usually a change request, expressing the new or updated requirements on the delivered system. The requirements specified in a change ...
JSW
2006
13 years 7 months ago
2006
The high competition among network providers places a demand for new ways to design network services with near zero development time, low cost, and high degrees of customization an...
IFM
2004
Springer
14 years 29 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
SEW
2005
IEEE
14 years 1 months ago
2005
IEEE
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
ERCIMDL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Integrated digital access to multiple collections is a prominent issue for many Cultural Heritage institutions. Metadata describing diverse collections must be interopera...