3889 search results - page 110 / 778 » The Use of Program Dependence Graphs in Software Engineering |
158
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Understanding and maintenance of complex information spaces is often supported through visual interfaces. These interfaces must be highly flexible in order to adapt to both the u...
137
Voted
EUROMICRO
1996
IEEE
15 years 7 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
111
Voted
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
We present a study of all sources of aliasing in over one million lines of C code, identifying in the process the common patterns of aliasing that arise in practice. We find that ...
97
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
121
Voted
SAMOS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract—In this paper we present a Multithreaded programming methodology for multi-core systems that utilizes DataFlow concurrency. The programmer augments the program with macr...