3376 search results - page 57 / 676 » Analyzing Software Evolvability |
165
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
119
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
Workflow management systems (WfMS) have become a widely accepted software technology, which enables the effective management, execution, and monitoring of comput
149
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Debugging refers to the laborious process of finding causes of program failures. Often, such failures are introduced when a program undergoes changes and evolves from a stable ver...
125
click to vote
ISTA
2008
15 years 5 months ago
2008
Abstract. The Bologna Process [1] has triggered a major restructuring of the current university diploma into a bachelor/master system. As one effect, the administration effort for ...
146
click to vote
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
This paper presents the results of an exploratory study on the fault-proneness of aspect-oriented programs. We analysed the faults collected from three evolving aspect-oriented sy...