1 - 16 из 16Размер страницы: 50
Сортировать по:: Год публикации
  1. 2023

  2. Natural Language Processing with Machine Learning for Security Requirements Analysis: Practical Approaches

    Sadovykh, A., Yakovlev, K., Naumchev, A. & Ivanov, V., 23 авг. 2023, CyberSecurity in a DevOps Environment: From Requirements to Monitoring. Sadovykh, A., Truscan, D., Mallouli, W., Cavalli, A. R., Seceleanu, C. & Bagnato, A. (ред.). Springer, стр. 35-63 29 стр. Chapter 2. (CyberSecurity in a DevOps Environment: From Requirements to Monitoring).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  3. Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.

    Naumcheva, M., Ebersold, S., Naumchev, A., Bruel, J-M., Galinier, F. & Meyer, B., 2023, в: The Journal of Object Technology. 22, 1, стр. 1-19 19 стр., 3.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  4. 2022

  5. Extracting Software Requirements from Unstructured Documents

    Ivanov, V., Sadovykh, A., Naumchev, A., Bagnato, A. & Yakovlev, K., 30 авг. 2022, Extracting Software Requirements from Unstructured Documents. Springer, стр. 17-29 13 стр. 2. (Recent Trends in Analysis of Images, Social Networks and Texts; том 1573).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  6. The Role of Formalism in System Requirements

    Bruel, J-M., Ebersold, S., Galinier, F., Mazzara, M., Naumchev, A. & Meyer, B., 30 июн. 2022, в: ACM Computing Surveys. 54, 5, стр. 1-36 93.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  7. 2021

  8. Security Requirements as Code: Example from VeriDevOps Project

    Ismaeel, K., Naumchev, A., Sadovykh, A., Truscan, D., Enoiu, E. P. & Seceleanu, C., сент. 2021, PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING: Том. 2021-September. Proceedings - 29th IEEE International Requirements Engineering Conference Workshops, REW 2021. - Сер. Proceedings - 29th IEEE International Requirements Engineering Conference Workshops, REW 2021. стр. 357-363 7 стр. (Proceedings of the IEEE International Conference on Requirements Engineering; том 2021-September).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  9. 2020

  10. Detection of Inconsistent Contracts Through Modular Verification

    Naumchev, A., 2020, Detection of Inconsistent Contracts Through Modular Verification. стр. 206-220 15 стр. 19. (Proceedings of 6th International Conference in Software Engineering for Defence Applications; том 925).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  11. Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers

    Bruel, J-M. (ред.), Capozucca, A. (ред.), Mazzara, M. (ред.), Meyer, B. (ред.), Naumchev, A. (ред.) & Sadovykh, A. (ред.), 2020, Springer. (Lecture Notes in Computer Science)

    Результаты исследований: Книги, отчёты, сборники › сборник › научная › Рецензирование

  12. 2019

  13. Object-Oriented Requirements: Reusable, Understandable, Verifiable

    Naumchev, A., 8 окт. 2019, Object-Oriented Requirements: Reusable, Understandable, Verifiable. стр. 150-162 13 стр. Chapter 12. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11771 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  14. Towards an Anatomy of Software Requirements

    Meyer, B., Bruel, J-M., Ebersold, S., Galinier, F. & Naumchev, A., 8 окт. 2019, Towards an Anatomy of Software Requirements. стр. 10-40 31 стр. Chapter 2. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11771 LNCS).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  15. VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)

    Naumchev, A., Sadovykh, A. & Ivanov, V., 8 окт. 2019, VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). Springer, стр. 351-363 13 стр. 30. (Software Technology: Methods and Tools; том 11771).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

  16. Seamless Object-Oriented Requirements

    Naumchev, A., окт. 2019, SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS. стр. 743-748 6 стр. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  17. AutoReq: Expressing and verifying requirements for control systems

    Naumchev, A., Meyer, B., Mazzara, M., Galinier, F., Bruel, J-M. & Ebersold, S., 1 апр. 2019, в: Journal of Computer Languages. 51, стр. 131-142 142 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  18. Seamless Object-Oriented Requirements. (Exigences orientées objets dans un cycle de vie continu)

    Naumchev, A., 2019

    Результаты исследований: Книги, отчёты, сборники › отчёт/доклад › Рецензирование

  19. 2017

  20. Seamless requirements

    Naumchev, A. & Meyer, B., 1 сент. 2017, в: Computer Languages, Systems & Structures. 49, стр. 119-132 14 стр.

    Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

  21. 2016

  22. Complete Contracts through Specification Drivers

    Naumchev, A. & Meyer, B., июл. 2016, PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016. стр. 160-167

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

  23. Unifying Requirements and Code: An Example

    Naumchev, A., Meyer, B. & Rivera, V., 28 июн. 2016, Unifying Requirements and Code: An Example. стр. 233-244 18. (Perspectives of System Informatics; том 9609).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

ID: 60800994