615 search results - page 59 / 123 » Research in software engineering: an analysis of the literat... |
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
Understanding function signature change properties and evolution patterns is important for researchers concerned with alleviating signature change impacts, understanding software ...
RE
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...
TASE
2008
IEEE
13 years 8 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
ESSOS
2010
Springer
14 years 5 months ago
2010
Springer
Information flow control systems provide the guarantees that are required in today’s security-relevant systems. While the literature has produced a wealth of techniques to ensur...