2274 search results - page 195 / 455 » Qualitative Modeling for Requirements Engineering |
195
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
155
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
187
click to vote
ER
2005
Springer
16 years 3 hour ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
183
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
169
click to vote
COMPSAC
2008
IEEE
16 years 28 days ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...