4799 search results - page 264 / 960 » Model Based Requirements Engineering for Embedded Software |
152
click to vote
COMPSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
144
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
195
click to vote
ASWEC
2007
IEEE
16 years 29 days ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
164
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
204
click to vote
SERP
2010
15 years 4 months ago
2010
- In large enterprises subject to constant employee turnover and challenging security policies, the administration of Role-based Access Control (RBAC) is a daunting task that is of...