2957 search results - page 209 / 592 » Code analysis and CS-XML |
128
Voted
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
164
click to vote
PRDC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
144
Voted
SERA
2005
Springer
15 years 9 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
109
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, two tools are presented: an execution driven cache simulator which relates event metrics to a dynamically built-up call-graph, and a graphical front end able to visu...
146
Voted
COMPSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...