687 search results - page 47 / 138 » Specification and Verification of Model Transformations Usin... |
100
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
121
Voted
IASTEDSEA
2004
15 years 1 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
120
click to vote
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
85
Voted
ENTCS
2008
15 years 18 days ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
102
click to vote
TISSEC
2010
14 years 7 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...