24 search results - page 2 / 5 » scp 2010 |
SCP
2010
13 years 7 months ago
2010
SCP
2010
13 years 7 months ago
2010
SCP
2010
13 years 3 months ago
2010
Analyzing the evolution of large and long-lived software systems is a complex problem that requires extensive tool support due to the amount and complexity of the data that needs ...
SCP
2010
13 years 7 months ago
2010
One of the most challenging tasks a programmer can face is attempting to analyse and understand a legacy assembler system. Many features of assembler make analysis difficult, and ...
SCP
2010
13 years 7 months ago
2010
Refinement is the notion of development between formal specifications. For specifications given in a relational formalism, downward and upward simulations are the standard meth...