561 search results - page 19 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
119
click to vote
ACSD
1998
IEEE
15 years 6 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
110
click to vote
ICSM
1999
IEEE
15 years 6 months ago
1999
IEEE
Software architecture is important for large systems in which it is the main means for, among other things, controlling complexity. Current ideas on software architectures were no...
148
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
137
Voted
JUCS
2000
15 years 1 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
AMAST
2008
Springer
15 years 3 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...