Follow
Alexandr Naumchev
Alexandr Naumchev
Verified email at alumni.cmu.edu
Title
Cited by
Cited by
Year
Seamless requirements
A Naumchev, B Meyer
Computer Languages, Systems & Structures 49, 119-132, 2017
252017
Complete contracts through specification drivers
A Naumchev, B Meyer
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
252016
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
232021
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
222019
Unifying requirements and code: an example
A Naumchev, B Meyer, V Rivera
Perspectives of System Informatics: 10th International Andrei Ershov …, 2016
212016
Devops and its philosophy: Education matters!
E Bobrov, A Bucchiarone, A Capozucca, N Guelfi, M Mazzara, ...
Microservices: Science and Engineering, 349-361, 2020
182020
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
112019
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
92021
Seamless object-oriented requirements
A Naumchev
2019 International Multi-Conference on Engineering, Computer and Information …, 2019
92019
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
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 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
42019
The system can't perform the operation now. Try again later.
Articles 1–20