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

  1. Seamless requirements

    Naumchev, A. & Meyer, B., 1 Sept 2017, In: Computer Languages, Systems & Structures. 49, p. 119-132 14 p.

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

  2. Security Requirements as Code: Example from VeriDevOps Project

    Ismaeel, K., Naumchev, A., Sadovykh, A., Truscan, D., Enoiu, E. P. & Seceleanu, C., Sept 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. p. 357-363 7 p. (Proceedings of the IEEE International Conference on Requirements Engineering; vol. 2021-September).

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

  3. The Role of Formalism in System Requirements

    Bruel, J-M., Ebersold, S., Galinier, F., Mazzara, M., Naumchev, A. & Meyer, B., 30 Jun 2022, In: ACM Computing Surveys. 54, 5, p. 1-36 93.

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

  4. Towards an Anatomy of Software Requirements

    Meyer, B., Bruel, J-M., Ebersold, S., Galinier, F. & Naumchev, A., 8 Oct 2019, Towards an Anatomy of Software Requirements. p. 10-40 31 p. Chapter 2. (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

  5. Unifying Requirements and Code: An Example

    Naumchev, A., Meyer, B. & Rivera, V., 28 Jun 2016, Unifying Requirements and Code: An Example. p. 233-244 18. (Perspectives of System Informatics; vol. 9609).

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

  6. 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 Oct 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, p. 351-363 13 p. 30. (Software Technology: Methods and Tools; vol. 11771).

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

Previous 1 2 Next

ID: 60800994