8 search results - page 1 / 2 » Alloy as a Refactoring Checker |
ENTCS
2008
13 years 5 months ago
2008
STTT
2010
13 years 3 months ago
2010
Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable f...
ICFEM
2010
Springer
13 years 4 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
CCS
2004
ACM
13 years 10 months ago
2004
ACM
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
CEEMAS
2007
Springer
13 years 11 months ago
2007
Springer
Future agent mediated eCommerce will involve open systems of agents interoperating between different institutions, where different auction protocols may be in use. We argue that i...