Kildishev Denis Stepanovich

Publications in Math-Net.Ru

1. Elicitation of functional requirements from the application programming interface documentation for functional testing
   
   Proceedings of ISP RAS, 34:1 (2022),  7–22
2. Requirements management for safety-critical systems. Overview of solutions
   
   Proceedings of ISP RAS, 31:1 (2019),  25–48
3. Formalizing metamodel of requirements management system
   
   Proceedings of ISP RAS, 30:5 (2018),  163–176