1641 search results - page 153 / 329 » The Timeboxing process model for iterative software developm... |
127
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
155
click to vote
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...
138
click to vote
EWSPT
2003
Springer
15 years 9 months ago
2003
Springer
: Software development is an experimental discipline, i.e. somewhat unpredictable. This suggests that software processes improvement should be based on the continuous iteration of ...
126
click to vote
CIBSE
2009
ACM
15 years 10 months ago
2009
ACM
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
146
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
— this paper discusses a conceptual framework for the requirements engineering process for e-school applications offering a service to the information society. The e-school appli...