3441 search results - page 269 / 689 » Provenance of Software Development Processes |
176
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
181
click to vote
IWPSE
2007
IEEE
16 years 25 days ago
2007
IEEE
Software evolution plays a key role in the overall lifecycle of a software system. In this phase, software developers extend the capabilities and functionality of the system to me...
164
click to vote
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
174
click to vote
AGILEDC
2005
IEEE
16 years 5 days ago
2005
IEEE
Both agile development and User Centered Design stress collaboration between customers and product teams, but getting these methodologies to work well together is not easy. This p...
180
click to vote
EUROMICRO
2005
IEEE
16 years 5 days ago
2005
IEEE
Many component models have been proposed to address the challenge of reducing software development time and costs. Such models often offer similar functionality. We study how deve...