83 search results - page 5 / 17 » Software Deployment, Past, Present and Future |
SERP
2004
13 years 9 months ago
2004
One of the biggest problems of software development is the management of software quality, both in terms of defects and easiness of maintenance. Software production and evolution ...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Long-term preservation of data and software of large experiments and detectors in high energy physics is of utmost importance to secure the heritage of (mostly unique) data and to...
ISPW
2008
IEEE
14 years 1 months ago
2008
IEEE
Defining process standards by integrating, harmonizing, and standardizing heterogeneous and often implicit processes is an important task, especially for large development organiza...
ICAS
2008
IEEE
14 years 2 months ago
2008
IEEE
—Autonomic Computing (AC) is an emerging paradigm aiming at simplifying the administration of complex computer systems. Efforts required to deploy and maintain complex systems ar...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...