16790 search results - page 4 / 3358 » A Future for Software Engineering |
COMPUTER
2006
15 years 3 months ago
2006
107
click to vote
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
137
click to vote
APSEC
2000
IEEE
15 years 7 months ago
2000
IEEE
For the past 40 years, the techniques, processes and methods of software development have been dominated by supply-side issues, giving rise to a software industry oriented towards...
SIGSOFT
2010
ACM
15 years 26 days ago
2010
ACM
180
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
Prospects for research in theoretical computer science are discussed. The maintenance of a genuine link between theory and practice is seen as key to the future health of both.