1 - 10 out of 16Page size: 10
Sort by: Title

  1. AutoReq: Expressing and verifying requirements for control systems

    Naumchev, A., Meyer, B., Mazzara, M., Galinier, F., Bruel, J-M. & Ebersold, S., 1 Apr 2019, In: Journal of Computer Languages. 51, p. 131-142 142 p.

    Research output: Contribution to journal › Article › peer-review

  2. Complete Contracts through Specification Drivers

    Naumchev, A. & Meyer, B., Jul 2016, PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016. p. 160-167

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. Detection of Inconsistent Contracts Through Modular Verification

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

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  4. Extracting Software Requirements from Unstructured Documents

    Ivanov, V., Sadovykh, A., Naumchev, A., Bagnato, A. & Yakovlev, K., 30 Aug 2022, Extracting Software Requirements from Unstructured Documents. Springer, p. 17-29 13 p. 2. (Recent Trends in Analysis of Images, Social Networks and Texts; vol. 1573).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

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

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

    Research output: Book/Report › Anthology › Research › peer-review

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

    Sadovykh, A., Yakovlev, K., Naumchev, A. & Ivanov, V., 23 Aug 2023, CyberSecurity in a DevOps Environment: From Requirements to Monitoring. Sadovykh, A., Truscan, D., Mallouli, W., Cavalli, A. R., Seceleanu, C. & Bagnato, A. (eds.). Springer, p. 35-63 29 p. Chapter 2. (CyberSecurity in a DevOps Environment: From Requirements to Monitoring).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  7. 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, In: The Journal of Object Technology. 22, 1, p. 1-19 19 p., 3.

    Research output: Contribution to journal › Article › peer-review

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

    Naumchev, A., 8 Oct 2019, Object-Oriented Requirements: Reusable, Understandable, Verifiable. p. 150-162 13 p. Chapter 12. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11771 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

  9. Seamless Object-Oriented Requirements

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

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

    Naumchev, A., 2019

    Research output: Book/Report › Commissioned report › peer-review

Previous 1 2 Next

ID: 60800994