4895 search results - page 675 / 979 » Tools for Grammar Engineering |
167
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...
190
click to vote
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
182
click to vote
METRICS
2005
IEEE
16 years 8 days ago
2005
IEEE
Generally, code clones are regarded as one of the factors that make software maintenance more difficult. A code clone is a set of source code fragments identical or similar to ea...
162
Voted
QSIC
2005
IEEE
16 years 8 days ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
163
click to vote
SEFM
2005
IEEE
16 years 8 days ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...