Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Software processes are software too
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Assumption Generation for Software Component Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
Proceedings of the 30th international conference on Software engineering
Automatic verification of probabilistic concurrent finite state programs
SFCS '85 Proceedings of the 26th Annual Symposium on Foundations of Computer Science
Algorithms for interface synthesis
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Exception Handling Patterns for Process Modeling
IEEE Transactions on Software Engineering
Location-aware business process management for real-time monitoring of a cardiac care process
CASCON '13 Proceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research
Hi-index | 0.00 |
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead to system failures also increases. In the medical domain, for example, sophisticated technology has been introduced in the last decade without adequately considering the impact and role of the medical professionals. This is just one of many domains, where human agents, hardware devices, and software systems must interact with each other, and where humans are expected to make important, and sometime life-critical, decisions. This position paper argues that human-intensive systems should be a major concern of software engineering in the future and describes some of the research issues that need to be addressed.