436 search results - page 14 / 88 » Specification of modelling languages in a flexible meta-mode... |
ENTCS
2000
13 years 8 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
DATE
1999
IEEE
14 years 23 days ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
MDAFA
2004
Springer
14 years 1 months ago
2004
Springer
In the Meta Object Facility (MOF) meta-modeling architecture a number of model transformation scenarios can be identified. It could be expected that a meta-modeling architecture wi...
IJEIS
2010
13 years 5 months ago
2010
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
APSEC
2004
IEEE
14 years 6 days ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...