7139 search results - page 313 / 1428 » Language Engineering in Practice |
171
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
178
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular...
160
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--We argue for the creation and use of a very lightweight requirements modeling language as an alternative to textual and pictorial requirements specifications.
216
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Software developers often duplicate source code to replicate functionality. This practice can hinder the maintenance of a software project: bugs may arise when two identical code ...
188
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...