Sciweavers

2700 search results - page 56 / 540
» The role of abstraction in software engineering
Sort
View
JSS
2007
174views more  JSS 2007»
15 years 6 months ago
Lessons from applying the systematic literature review process within the software engineering domain
A consequence of the growing number of empirical studies in software engineering is the need to adopt systematic approaches to assessing and aggregating research outcomes in order...
Pearl Brereton, Barbara A. Kitchenham, David Budge...
MKWI
2008
123views Business» more  MKWI 2008»
15 years 7 months ago
Towards a Model for Specifying and Composing Concerns in Software Product Line Engineering
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
Volker Kuttruff
ICSE
2000
IEEE-ACM
15 years 9 months ago
Software reliability and dependability: a roadmap
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
Bev Littlewood, Lorenzo Strigini
ICSE
2007
IEEE-ACM
16 years 6 months ago
When Role Models Have Flaws: Static Validation of Enterprise Security Policies
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...
Marco Pistoia, Stephen J. Fink, Robert J. Flynn, E...
FASE
2009
Springer
16 years 28 days ago
Proving Consistency of Pure Methods and Model Fields
Abstract. Pure methods and model fields are useful and common speci
K. Rustan M. Leino, Ronald Middelkoop