3889 search results - page 110 / 778 » The Use of Program Dependence Graphs in Software Engineering |
185
click to vote
UML
2005
Springer
15 years 11 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...
171
click to vote
EUROMICRO
1996
IEEE
15 years 10 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 ...
142
click to vote
SIGSOFT
2006
ACM
16 years 7 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 ...
143
click to vote
ICSE
2003
IEEE-ACM
16 years 6 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...
164
click to vote
SAMOS
2010
Springer
15 years 4 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...