1253 search results - page 173 / 251 » Studying Software Evolution for Taming Software Complexity |
122
Voted
IWPC
2002
IEEE
15 years 8 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
129
Voted
RE
2001
Springer
15 years 8 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
133
Voted
ICSM
1999
IEEE
15 years 8 months ago
1999
IEEE
Many coupling measures have been proposed in the context of object-oriented (OO) systems. In addition, several studies have highlighted the complexity of using dependency analysis...
123
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
152
Voted
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...