196
Voted
UML
15 years 10 months ago
2005 Springer 160
click to vote
UML
15 years 10 months ago
2005 Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
172
click to vote
UML
15 years 10 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...
137
click to vote
UML
15 years 10 months ago
2005 Springer
Quality management is an important aspect of business processes. Organizations must implement quality requirements, e.g., according to
158
click to vote
UML
15 years 10 months ago
2005 Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
|