4895 search results - page 104 / 979 » Tools for Grammar Engineering |
CSMR
2003
IEEE
15 years 3 months ago
2003
IEEE
During software evolution, programmers add new functionalities and release new versions of software. This is complicated work, particularly in large applications, and tools are ne...
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
Software development needs to be supported at both the organisational process level (programming-for-thelarge) and the detailed coding level (programming-for-thesmall). It is crit...
KBSE
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
IWPC
2010
IEEE
14 years 8 months ago
2010
IEEE
We present a tool that identifies complex data-flow dependencies on code-level, based on the measure dep-degree. Low-level dependencies between program operations are modeled by...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...