7839 search results - page 13 / 1568 » What is a |
WIFT
1998
IEEE
14 years 22 days ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
EGOV
2007
Springer
14 years 12 days ago
2007
Springer
This paper presents some future possibilities for eDemocracy tools and considers how these new technologies might conflict with our basic assumptions about what democracy should be...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
In software development, bug reports provide crucial information to developers. However, these reports widely differ in their quality. We conducted a survey among developers and u...
SIGMOD
2009
ACM
14 years 3 months ago
2009
ACM
User generated content and social media (in the form of blogs, wikis, online video, microblogs, etc) are proliferating online. Grapevine conducts large scale data analysis on the ...
ASWEC
2005
IEEE
14 years 2 months ago
2005
IEEE
We surveyed a number of Australian software practitioners in order to understand what software development practices were used in their recent software projects. We were particula...