Sciweavers

4759 search results - page 628 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
176
Voted
COMPSAC
2006
IEEE
16 years 25 days ago
An Aspect-Oriented Approach to Security Requirements Analysis
This paper presents an aspect-oriented approach to integrated elicitation of functional and security requirements based on use case-driven development. We identify security threat...
Dianxiang Xu, Vivek Goel, Kendall E. Nygard
IUI
2006
ACM
16 years 22 days ago
Trust building with explanation interfaces
Based on our recent work on the development of a trust model for recommender agents and a qualitative survey, we explore the potential of building users’ trust with explanation ...
Pearl Pu, Li Chen
MSR
2006
ACM
16 years 22 days ago
Mining eclipse for cross-cutting concerns
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
Silvia Breu, Thomas Zimmermann, Christian Lindig
IUI
2005
ACM
16 years 10 days ago
ComicKit: acquiring story scripts using common sense feedback
At the Media Lab we are developing a resource called StoryNet, a very-large database of story scripts that can be used for commonsense reasoning by computers. This paper introduce...
Ryan Williams 0002, Barbara Barry, Push Singh
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 9 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...