73 search results - page 7 / 15 » First Steps in the Verified Software Grand Challenge |
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
MSR
2006
ACM
15 years 3 months ago
2006
ACM
Software repositories have been getting a lot of attention from researchers in recent years. In order to analyze software repositories, it is necessary to first extract raw data f...
MMS
2008
14 years 9 months ago
2008
Practices in new media art pose very interesting challenges to the multimedia research community in terms of software tools development, usage of media technologies or documentatio...
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
Learning from software failures is an essential step towards the development of more reliable software systems and processes. However, as more intricate software systems are devel...
PROFES
2004
Springer
15 years 2 months ago
2004
Springer
Process improvement activities in small and medium size enterprises (SME) are challenging due to small number of personnel and projects, people have to perform in a variety of role...