3889 search results - page 262 / 778 » The Use of Program Dependence Graphs in Software Engineering |
136
click to vote
TASE
2009
IEEE
15 years 11 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
140
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
213
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
138
click to vote
AGILEDC
2004
IEEE
15 years 8 months ago
2004
IEEE
A longitudinal case study evaluating the effects of adopting the Extreme Programming (XP) methodology was performed at Sabre Airline SolutionsTM. The Sabre team was a characterist...
139
click to vote
WCET
2007
15 years 5 months ago
2007
Memory corruption is one of the most common software failures. For sequential software and multitasking software with synchronized data accesses, it has been shown that program fa...