3514 search results - page 44 / 703 » Evolving Specification Engineering |
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited ...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
COMPSAC
2008
IEEE
13 years 8 months ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
SP
2009
IEEE
14 years 2 months ago
2009
IEEE
EUROMICRO
2005
IEEE
14 years 1 months ago
2005
IEEE