1116 search results - page 174 / 224 » An Eclipse-based tool framework for software model managemen... |
115
click to vote
ISW
2001
Springer
15 years 9 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
156
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
146
click to vote
GRID
2006
Springer
15 years 4 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...
190
click to vote
AOSD
2008
ACM
15 years 6 months ago
2008
ACM
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
147
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
Achieving a quality software system requires UML designers a good understanding of both design patterns and antipatterns. Unfortunately, UML models for real systems tend to be huge...