53 search results - page 3 / 11 » Experiences documenting and preserving software constraints ... |
SIGADA
2005
Springer
13 years 10 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
CSMR
2004
IEEE
13 years 8 months ago
2004
IEEE
Within a long-term distributed systems project we repeatedly stumbled across the well-known yet difficult question to either implement from scratch or comprehend and adapt existin...
ICSM
2002
IEEE
13 years 9 months ago
2002
IEEE
Automatic software reengineerings change or repair existing software systems. They are usually tailor-made for a specific customer and language dependent. Maintaining similar ree...
ICSM
2002
IEEE
13 years 9 months ago
2002
IEEE
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...
DGO
2008
13 years 6 months ago
2008
The Florida Public Hurricane Loss Model (FPHLM) developed in the State of Florida offers an open, public and effective tool for the government to regulate the insurance ratemaking...