ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements analysis using forward and backward search
Annals of Software Engineering
Safety Analysis of Requirements for a Product Family
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Secure Synthesis of Code: A Process Improvement Experiment
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Fault Tree Analysis for Software Design
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Safety and Software Intensive Systems: Challenges Old and New
FOSE '07 2007 Future of Software Engineering
Implementable requirements in problem orientation
Proceedings of the 3rd international workshop on Applications and advances of problem frames
A systematic literature review to identify and classify software requirement errors
Information and Software Technology
BAS: A Case Study for Modeling and Verification in Trustable Model Driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Safety demonstration and software development
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |