2212 search results - page 203 / 443 » Automated software wrapping |
132
click to vote
IWSSD
1993
IEEE
15 years 9 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
189
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
115
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
One recent change in software development is developers starting to take responsibility for the quality of their work by writing and executing automated tests. As with any new act...
155
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
135
click to vote
QSIC
2007
IEEE
15 years 11 months ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...