16790 search results - page 4 / 3358 » A Future for Software Engineering |
COMPUTER
2006
13 years 7 months ago
2006
COMPSAC
2010
IEEE
13 years 5 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...
APSEC
2000
IEEE
14 years 1 days 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
13 years 5 months ago
2010
ACM
TAPSOFT
1997
Springer
13 years 11 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.