Sciweavers

2276 search results - page 234 / 456
» Aspect-Oriented Requirements Engineering for Component-Based...
Sort
View
ICSE
2010
IEEE-ACM
15 years 9 months ago
StakeSource: harnessing the power of crowdsourcing and social networks in stakeholder analysis
Projects often fail because they overlook stakeholders. Unfortunately, existing stakeholder analysis tools only capture stakeholders’ information, relying on experts to manually...
Soo Ling Lim, Daniele Quercia, Anthony Finkelstein
COMPSAC
2001
IEEE
15 years 8 months ago
Designing Role Hierarchies for Access Control in Workflow Systems
he correspondence between the role abstraction in Role-based Access Control (RBAC) and the notion of organizational positions, it seems easy to construct role hierarchies. This is...
Reinhardt A. Botha, Jan H. P. Eloff
ICSE
2007
IEEE-ACM
16 years 4 months ago
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Patrice Chalin
ICSE
2007
IEEE-ACM
16 years 4 months ago
Behaviour Model Synthesis from Properties and Scenarios
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
Greg Brunet, Marsha Chechik, Sebastián Uchi...
ICSM
1997
IEEE
15 years 8 months ago
Reverse Architecting Approach for Complex Systems
Philips is an electronics company which operates world wide and participates in professional as well as consumer markets. The architecture of many software intensive systems are c...
René L. Krikhaar