Follow
Alexandr Naumchev
Alexandr Naumchev
Verified email at alumni.cmu.edu
Title
Cited by
Cited by
Year
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
302021
Complete contracts through specification drivers
A Naumchev, B Meyer
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
252016
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
242019
Seamless requirements
A Naumchev, B Meyer
Computer Languages, Systems & Structures 49, 119-132, 2017
242017
Unifying requirements and code: an example
A Naumchev, B Meyer, V Rivera
Perspectives of System Informatics: 10th International Andrei Ershov …, 2016
222016
Devops and its philosophy: Education matters!
E Bobrov, A Bucchiarone, A Capozucca, N Guelfi, M Mazzara, ...
Microservices: Science and Engineering, 349-361, 2020
212020
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
152021
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
152019
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
142020
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
122019
Seamless object-oriented requirements
A Naumchev
2019 International Multi-Conference on Engineering, Computer and Information …, 2019
112019
Exigences orientées objets dans un cycle de vie continu
A Naumchev
Toulouse 3, 2019
72019
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
62019
Object-oriented requirements: reusable, understandable, verifiable
A Naumchev
Software Technology: Methods and Tools: 51st International Conference, TOOLS …, 2019
62019
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
52019
Expressing and verifying embedded software requirements
A Naumchev, B Meyer, M Mazzara, F Galinier, JM Bruel, S Ebersold
arXiv preprint arXiv:1710.02801, 2017
52017
Landing Gear System ground model specification and requirements in Eiffel
A Naumchev
52017
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
42021
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
42020
Detection of inconsistent contracts through modular verification
A Naumchev
Proceedings of 6th International Conference in Software Engineering for …, 2020
42020
The system can't perform the operation now. Try again later.
Articles 1–20