Get started
Author

Alexandr Naumchev

Observed names: A. Naumchev, Alexandr Vladimirovich Naumchev, Naumchev, Alexandr
Observed institutions: Université Toulouse III - Paul Sabatier, University of Luxembourg, Novosibirsk State University, Innopolis University, Institut de Recherche en Informatique de Toulouse, Université Toulouse - Jean Jaurès, Constructor Institute, Université de Toulouse, Politecnico di Milano
ORCID: 0000-0002-7683-0751
Observed ORCID: 0000-0002-7683-0751
OpenAlex ID: A5044748328
The Challenges of the Digital Transformation in Education: Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL2018) - Volume 2
2019 · de Carvalho, Daniel, Hussain, Rasheed, et al. · Advances in intelligent systems and computing · 62
PDF
The Role of Formalism in System Requirements
2021 · Jean-Michel Bruel, Sophie Ebersold, et al. · ACM Computing Surveys · 46
PDF
Teaching DevOps in Corporate Environments: An Experience Report
2019 · Manuel Mazzara, Alexandr Naumchev, et al. · Lecture notes in computer science · 24
PDF
DevOps and Its Philosophy: Education Matters!
2019 · Evgeny Bobrov, Antonio Bucchiarone, et al. · Springer eBooks · 21
PDF
Extracting Software Requirements from Unstructured Documents
2022 · Vladimir Ivanov, Andrey Sadovykh, et al. · Communications in computer and information science · 20
PDF
Seamless requirements
2017 · A. Naumchev, B. Meyer · Computer Languages · 18
PDF
AutoReq: Expressing and verifying requirements for control systems
2019 · Alexandr Naumchev, Bertrand Meyer, et al. · Journal of Computer Languages · 17
PDF
Complete Contracts through Specification Drivers
2016 · Alexandr Naumchev, Bertrand Meyer · International Symposium on Theoretical Aspects of Software Engineering (TASE) · 17
Seamless Object-Oriented Requirements
2019 · Alexandr Naumchev · International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) · 15
PDF
Towards an Anatomy of Software Requirements
2019 · Bertrand Meyer, Jean-Michel Bruel, et al. · Lecture notes in computer science · 13
PDF
Unifying Requirements and Code: An Example
2016 · Alexandr Naumchev, Bertrand Meyer, et al. · Lecture notes in computer science · 12
Teaching Programming and Design-by-Contract
2019 · Daniel de Carvalho, Rasheed Hussain, et al. · Advances in intelligent systems and computing · 11
InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels
2020 · Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, et al. · Modeling and Analysis of Information Systems · 9
PDF
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)
2019 · Alexandr Naumchev, Andrey Sadovykh, et al. · Lecture notes in computer science · 7
Fast Adaptive Approximate Nearest Neighbor Search with Cluster-Shaped Indices
2025 · Vladimir Kazakovtsev, Mikhail Plekhanov, et al. · Big Data and Cognitive Computing · 5
PDF
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
2023 · Maria Naumcheva, Sophie Ebersold, et al. · The Journal of Object Technology · 4
PDF
Security Requirements as Code: Example from VeriDevOps Project
2021 · Khaled Ismaeel, Alexandr Naumchev, et al. · IEEE International Requirements Engineering Conference Workshops (REW) · 4
Object-Oriented Requirements: Reusable, Understandable, Verifiable
2019 · Alexandr Naumchev · Lecture notes in computer science · 4
PDF
Towards Code Review Guideline in a Classroom
2020 · Victor Rivera, Hamna Aslam, et al. · Lecture notes in computer science · 3
PDF
Frontiers in Software Engineering Education: First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers
2020 · Bruel, Jean-Michel, Capozucca, Alfredo, et al. · Lecture notes in computer science · 2
Seamless Object-Oriented Requirements
2019 · Alexandr Naumchev · theses.fr (ABES) · 2
PDF
Detection of Inconsistent Contracts Through Modular Verification
2019 · Alexandr Naumchev · Advances in intelligent systems and computing · 2
A contract-based method to specify stimulus-response requirements
2017 · A. Naumchev, M. Mazzara, et al. · Proceedings of the Institute for System Programming of RAS · 2
PDF
Unifying Requirements and Code: an Example
2016 · Naumchev, Alexandr, Meyer, Bertrand, et al. · arXiv (Cornell University) · 2
PDF
Complete contracts through specification drivers
2016 · Naumchev, Alexandr, Meyer, Bertrand · arXiv (Cornell University) · 2
PDF
Works count: 34
Citation count: 327
H-index: 11
I10-index: 12
Year
Topic
Type