685 search results - page 87 / 137 » Implementing Controlled Languages in GF |
112
Voted
AOSD
2010
ACM
15 years 7 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...
130
Voted
HASE
2007
IEEE
15 years 5 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...
133
Voted
OOPSLA
2004
Springer
15 years 9 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...
137
Voted
TISSEC
2010
14 years 10 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'...
158
Voted
UML
2005
Springer
15 years 9 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...