11 - 17 из 17Размер страницы: 10
Сортировать по:: Год публикации
  1. 2019

  2. 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).

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

  3. 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).

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

  4. 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 стр.

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

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

    Naumchev, A., 2019

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

  6. 2017

  7. Seamless requirements

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

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

  8. 2016

  9. Complete Contracts through Specification Drivers

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

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

  10. 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).

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

Назад 1 2 Далее

ID: 60800994