2806 search results - page 129 / 562 » BML and Related Tools |
216
click to vote
IWPC
2005
IEEE
16 years 16 days ago
2005
IEEE
Comprehension is a key activity that underpins a variety of software maintenance and engineering tasks. The task of understanding object-oriented systems is hampered by the fact t...
181
click to vote
LPAR
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
169
click to vote
ICT
2004
Springer
16 years 9 days ago
2004
Springer
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...
143
click to vote
RE
2004
Springer
16 years 9 days ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...
161
click to vote
HICSS
2003
IEEE
16 years 7 days ago
2003
IEEE
A key advantage for the use of a Domain-Specific Language (DSL) is the leverage that can be captured from a concise representation of a programmer’s intention. This paper report...