Analysing Dependability Case Arguments Using Quality Models
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Arguing for software quality in an IEC 62304 compliant development process
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A lightweight code analysis and its role in evaluation of a dependability case
Proceedings of the 33rd International Conference on Software Engineering
Proceedings of the 33rd International Conference on Software Engineering
Proceedings of the 3rd Workshop on Software Engineering in Health Care
Reducing the footprint of certifiable health software during early stage development
Proceedings of the 3rd Workshop on Software Engineering in Health Care
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology
Document driven certification of computational science and engineering software
SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering
Hi-index | 4.10 |
Process alone is insufficient to guarantee necessary product attributes for certification.