4895 search results - page 417 / 979 » Tools for Grammar Engineering |
169
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
182
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Design patterns are solutions to recurring design problems, conceived to increase benefits in terms of reuse, code quality and, above all, maintainability and resilience to change...
160
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
185
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
186
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...