7139 search results - page 385 / 1428 » Language Engineering in Practice |
200
click to vote
QSIC
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
179
Voted
AGILEDC
2006
IEEE
16 years 1 months ago
2006
IEEE
This workshop brings together educators, trainers and students with an interest in teaching Agile principles and practices in an agile way. We will take a holistic approach to cou...
163
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
177
click to vote
AGILEDC
2003
IEEE
16 years 25 days ago
2003
IEEE
The scientific method serves as a good metaphor for several practices in Extreme Programming (XP). We explore the commonalities and differences and show that the scientific method...
145
click to vote
COMPSAC
2002
IEEE
16 years 15 days ago
2002
IEEE
Service availability is of key importance to operations and maintenance systems for mobile telephony networks. This paper will describe some of the challenges in providing continu...