102 search results - page 7 / 21 » Automated Dependability Analysis of UML Designs |
153
click to vote
DLOG
2010
15 years 3 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
142
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
165
click to vote
ER
2010
Springer
15 years 3 months ago
2010
Springer
UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constraints expr...
156
click to vote
SACMAT
2009
ACM
16 years 2 hour ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...
165
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
In software engineering it is widely acknowledged that the usage of metrics at the initial phases of the object oriented software life cycle can help designers to make better decis...