345 search results - page 45 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
107
click to vote
METRICS
1999
IEEE
15 years 4 months ago
1999
IEEE
The design of software is often depicted by graphs that show components and their relationships. For example, a structure chart shows the calling relationships among components. O...
JOT
2006
14 years 11 months ago
2006
Aspect-Oriented Software Development is a promising new software engineering paradigm. It promotes, in particular, improved separation of crosscutting concerns into single units c...
ECMDAFA
2005
Springer
15 years 5 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
103
click to vote
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
FORTE
2008
15 years 1 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...