900 search results - page 74 / 180 » A Tool-Supported Approach to Testing UML Design Models |
150
click to vote
ITNG
2008
IEEE
15 years 10 months ago
2008
IEEE
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...
139
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Early Aspects is a concept that applies an aspect-oriented (AO) paradigm to the requirements engineering. Aspect-Oriented Requirements Engineering (AORE) can be considered as an im...
141
Voted
ISORC
2000
IEEE
15 years 8 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
160
click to vote
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...
138
click to vote
DMS
2010
15 years 1 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...