7139 search results - page 264 / 1428 » Language Engineering in Practice |
212
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
179
click to vote
INFSOF
2007
15 years 7 months ago
2007
The incorporation of social issues in software engineering is limited. Still, during the last 20 years the social element inherent in software development has been addressed in a ...
192
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
We consider the coverage testing problem where we are given a document and a corpus with a limited query interface and asked to find if the corpus contains a near-duplicate of th...
212
click to vote
CODES
2005
IEEE
16 years 24 days ago
2005
IEEE
Scripting is a powerful, high-level, cross-platform, dynamic, easy way of composing software modules as black boxes. Unfortunately, the high runtime overhead has prevented scripti...
195
click to vote
WCRE
2005
IEEE
16 years 23 days ago
2005
IEEE
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...