5180 search results - page 244 / 1036 » Requirements Engineering |
160
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
176
click to vote
ICSM
2002
IEEE
15 years 10 months ago
2002
IEEE
Most online evolution of application depends on its runtime environment. This paper addresses how to support online evolution by application server, which is considered as third k...
138
Voted
ISSTA
2000
ACM
15 years 10 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...
179
click to vote
ACSAC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract--Role based access control (RBAC) is a powerful security administration concept that can simplify permission assignment management. Migration to and maintenance of RBAC re...
150
click to vote
FSEN
2009
Springer
16 years 3 days ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...