15885 search results - page 2542 / 3177 » The Modest Software Engineer |
204
click to vote
SERA
2004
Springer
16 years 16 days ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
192
click to vote
APSEC
2003
IEEE
16 years 15 days ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
222
click to vote
ISPASS
2003
IEEE
16 years 14 days ago
2003
IEEE
Emerging application domains such as interactive vision, animation, and multimedia collaboration display dynamic scalable parallelism, and high computational requirements, making ...
193
click to vote
KBSE
2003
IEEE
16 years 14 days ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
297
click to vote
PLDI
2003
ACM
16 years 13 days ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....