685 search results - page 87 / 137 » Implementing Controlled Languages in GF |
AOSD
2010
ACM
15 years 1 months ago
2010
ACM
COBOL is still an important language for building mission critical enterprise systems, and there is huge amount of existing COBOL programs. We have been developing an aspect-orien...
HASE
2007
IEEE
14 years 11 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
TISSEC
2010
14 years 4 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'...
103
click to vote
UML
2005
Springer
15 years 3 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...