| Formal transformation of UML diagram: Use case, class, sequence diagram with Z notation for representing the static and dynamic perspectives of system M Singh, AK Sharma, R Saxena Proceedings of International Conference on ICT for Sustainable Development …, 2016 | 24 | 2016 |
| An UML+ Z framework for validating and verifying the Static aspect of Safety Critical System M Singh, AK Sharma, R Saxena Procedia Computer Science 85, 352-361, 2016 | 10 | 2016 |
| Risk management in agile model M Singh, R Saxena IOSR Journal of Computer Engineering 16, 43-46, 2014 | 10 | 2014 |
| Why formal methods are considered for safety critical systems? M Singh, AK Sharma, R Saxena Journal of Software Engineering and Applications 8 (10), 531, 2015 | 6 | 2015 |
| Data Link Layer Designing Issues: Error Control-A Roadmap M Singh, R Saxena Global Journal of Computer Science and Technology 14 (8-C), 1, 2014 | 5 | 2014 |
| An Application of UML for Road Traffic Management System by Implementing Extensive Mechanism: Stereotypes M Singh, R Saxena International Journal of Computer Science Issues (IJCSI) 11 (5), 83, 2014 | 3 | 2014 |
| A Rigorous Framework for Verification & Validation of Dynamic Aspect of Safety Critical System M Singh, AK Sharma, R Saxena Proceedings of the Second International Conference on Information and …, 2016 | 2 | 2016 |
| Towards the formalization of road traffic management system for safety critical properties by Z notation M Singh, AK Sharma, R Saxena 2015 International Conference on Green Computing and Internet of Things …, 2015 | 2 | 2015 |
| Agile Approach to Requirement Engineering: How Agile Processes Can Help in Time-Constrained Requirements Engineering M Singh, R Saxena International Conference on Multidisciplinary Research & Practice 1 (8), 544-547, 2014 | 1 | 2014 |
| Z Notation: A Formal Method of verification and Validation for Safety Critical system M Singh, R Saxena | | |
