6167 search results - page 114 / 1234 » Can Refinement be Automated |
131
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
133
click to vote
SELMAS
2004
Springer
15 years 9 months ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
107
click to vote
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
ions is lower than the programmer‘s perceived cost of writing them from scratch. << [G. Booch, 1994] Central Question: How can we decrease the effort of building framework-...
154
click to vote
PDPTA
1996
15 years 5 months ago
1996
A new approach to monitoring the runtime behaviour of parallel programs will be presented. Our approach provides a speci cation language to build measurement models which describe...
111
click to vote
WSC
2004
15 years 5 months ago
2004
As systems become more and more complex the use of automation tools becomes more important. Although automation is introduced to reduce human workload, improve situational awarene...