The role of formalism in system requirements JM Bruel, S Ebersold, F Galinier, M Mazzara, A Naumchev, B Meyer ACM Computing Surveys (CSUR) 54 (5), 1-36, 2021 | 30 | 2021 |
Complete contracts through specification drivers A Naumchev, B Meyer 2016 10th International Symposium on Theoretical Aspects of Software …, 2016 | 25 | 2016 |
Teaching DevOps in corporate environments: an experience report M Mazzara, A Naumchev, L Safina, A Sillitti, K Urysov Software Engineering Aspects of Continuous Development and New Paradigms of …, 2019 | 24 | 2019 |
Seamless requirements A Naumchev, B Meyer Computer Languages, Systems & Structures 49, 119-132, 2017 | 24 | 2017 |
Unifying requirements and code: an example A Naumchev, B Meyer, V Rivera Perspectives of System Informatics: 10th International Andrei Ershov …, 2016 | 22 | 2016 |
Devops and its philosophy: Education matters! E Bobrov, A Bucchiarone, A Capozucca, N Guelfi, M Mazzara, ... Microservices: Science and Engineering, 349-361, 2020 | 21 | 2020 |
Extracting software requirements from unstructured documents V Ivanov, A Sadovykh, A Naumchev, A Bagnato, K Yakovlev International Conference on Analysis of Images, Social Networks and Texts, 17-29, 2021 | 15 | 2021 |
AutoReq: Expressing and verifying requirements for control systems A Naumchev, B Meyer, M Mazzara, F Galinier, JM Bruel, S Ebersold Journal of Computer Languages 51, 131-142, 2019 | 15 | 2019 |
Teaching programming and design-by-contract D de Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ... The Challenges of the Digital Transformation in Education: Proceedings of …, 2020 | 14 | 2020 |
Towards an anatomy of software requirements B Meyer, JM Bruel, S Ebersold, F Galinier, A Naumchev Software Technology: Methods and Tools: 51st International Conference, TOOLS …, 2019 | 12 | 2019 |
Seamless object-oriented requirements A Naumchev 2019 International Multi-Conference on Engineering, Computer and Information …, 2019 | 11 | 2019 |
Exigences orientées objets dans un cycle de vie continu A Naumchev Toulouse 3, 2019 | 7 | 2019 |
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper) A Naumchev, A Sadovykh, V Ivanov Software Technology: Methods and Tools: 51st International Conference, TOOLS …, 2019 | 6 | 2019 |
Object-oriented requirements: reusable, understandable, verifiable A Naumchev Software Technology: Methods and Tools: 51st International Conference, TOOLS …, 2019 | 6 | 2019 |
The role of formalism in system requirements (full version) JM Bruel, S Ebersold, F Galinier, A Naumchev, M Mazzara, B Meyer arXiv preprint arXiv:1911.02564, 2019 | 5 | 2019 |
Expressing and verifying embedded software requirements A Naumchev, B Meyer, M Mazzara, F Galinier, JM Bruel, S Ebersold arXiv preprint arXiv:1710.02801, 2017 | 5 | 2017 |
Landing Gear System ground model specification and requirements in Eiffel A Naumchev | 5 | 2017 |
Security requirements as code: Example from VeriDevOps project K Ismaeel, A Naumchev, A Sadovykh, D Truscan, EP Enoiu, C Seceleanu 2021 IEEE 29th International Requirements Engineering Conference Workshops …, 2021 | 4 | 2021 |
Innochain: a distributed ledger for industry with formal verification on all implementation levels VA Kukharenko, KV Ziborov, RF Sadykov, AV Naumchev, RM Rezin, ... Modeling and Analysis of Information Systems 27 (4), 454-471, 2020 | 4 | 2020 |
Detection of inconsistent contracts through modular verification A Naumchev Proceedings of 6th International Conference in Software Engineering for …, 2020 | 4 | 2020 |