4895 search results - page 292 / 979 » Tools for Grammar Engineering |
163
click to vote
PPPJ
2006
ACM
16 years 17 days ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
183
click to vote
ASE
2002
15 years 6 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
141
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
CODECITY is a language-independent interactive 3D visualization tool for the analysis of large software systems. Using a city metaphor, it depicts classes as buildings and package...
190
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speci...
202
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Though there is a multitude of software modeling tools available, the handling of diagrams, which are an essential way of representation, is still difficult. To overcome these pr...