1481 search results - page 44 / 297 » Enriching the Software Development Process by Formal Methods |
150
click to vote
ENTCS
2010
15 years 3 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
125
click to vote
RE
2010
Springer
14 years 10 months ago
2010
Springer
The impact of non-functional requirements (NFRs) over software systems has been widely documented. Consequently, cost-effective software production method shall provide means to in...
116
click to vote
JUCS
2008
15 years 3 months ago
2008
: Web applications are widely disseminated, but, traditional development methods for this type of application still require a substantial amount of new modeling and programming. Cu...
112
click to vote
CSUR
2008
15 years 3 months ago
2008
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
111
click to vote
ISSTA
1993
ACM
15 years 7 months ago
1993
ACM
Most of the effort that goes into improving the quality of software paradoxically does not lead to quantitative, measurable quality. Software developers and quality-assurance orga...