16790 search results - page 4 / 3358 » A Future for Software Engineering |
68
Voted
COMPUTER
2006
15 years 23 days ago
2006
90
Voted
COMPSAC
2010
IEEE
14 years 10 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...
116
click to vote
APSEC
2000
IEEE
15 years 5 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...
78
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
163
click to vote
TAPSOFT
1997
Springer
15 years 4 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.