6187 search results - page 75 / 1238 » Practical Software Measurement |
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
The emerging service grids bring together various distributed application-level services to a `market' for clients to request and enable the integration of services across di...
107
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
133
click to vote
FTRTFT
1998
Springer
15 years 7 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
134
click to vote
WCRE
1993
IEEE
15 years 7 months ago
1993
IEEE
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
122
click to vote
IASTEDSE
2004
15 years 4 months ago
2004
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...