1781 search results - page 12 / 357 » An Emerging Need for a New Software Engineering Method |
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...
ICSE
2003
IEEE-ACM
16 years 13 days ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...
INTERACT
2003
15 years 1 months ago
2003
: Models from methods like Contextual Design (CD) are a sound basis for requirements engineering. But current software engineering processes are not prepared to use such models. To...
138
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...
97
Voted
CORR
2008
Springer
15 years 13 days ago
2008
Springer
Quantum computer programming is emerging as a new subject domain from multidisciplinary research in quantum computing, computer science, mathematics (especially quantum logic, lamb...