3376 search results - page 592 / 676 » Analyzing Software Evolvability |
143
Voted
ESE
2006
15 years 6 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
180
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Distributed Grid applications are becoming more and more popular as the use of complex grid middlewares becomes extensive, and more facilities are offered by these complex pieces o...
182
click to vote
DKE
2007
15 years 6 months ago
2007
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools t...
186
click to vote
DKE
2007
15 years 6 months ago
2007
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
169
click to vote
MAGS
2008
15 years 6 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...