2419 search results - page 313 / 484 » A Formal Approach to Software Testing |
175
click to vote
SERP
2010
15 years 1 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
132
click to vote
IV
2006
IEEE
15 years 10 months ago
2006
IEEE
The agile process approach used in software engineering was adapted as a foundation for the management of the multimedia art installation project titled "Trigger." By be...
146
click to vote
MOMM
2009
ACM
15 years 8 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
161
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
Change impact analysis is a useful technique for software evolution. It determines the effects of a source editing session and provides valuable feedbacks to the programmers for m...
139
click to vote
CHI
2008
ACM
15 years 6 months ago
2008
ACM
In recent years, the software engineering community has begun to study program navigation and tools to support it. Some of these navigation tools are very useful, but they lack a ...