Alexandr Naumchev

38 papers Misc 1Journal 23Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Fast Adaptive Approximate Nearest Neighbor Search with Cluster-Shaped Indices.
Big Data Cogn. Comput.
Vladimir Kazakovtsev, Mikhail Plekhanov, Alexandr Naumchev, Guzel Sh. Shkaberina, Igor S. Masich, Lyudmila Egorova, Alena A. Stupina, Aleksey M. Popov, Lev Kazakovtsev
2023 J jnl
Lessons from Formally Verified Deployed Software Systems.
CoRR
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege
2023 J jnl
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
J. Object Technol.
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
2022 J jnl
Extracting Software Requirements from Unstructured Documents.
CoRR
Vladimir Ivanov, Andrey Sadovykh, Alexandr Naumchev, Alessandra Bagnato, Kirill Yakovlev
2022 J jnl
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.
CoRR
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
2022 J jnl
The Role of Formalism in System Requirements.
ACM Comput. Surv.
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
2021 — conf
Examining Requirements Documentation through the Focused Conversation Method.
ISD
Hamna Aslam, Alexandr Naumchev, Jean-Michel Bruel, Joseph Alexander Brown
2021 — conf
Extracting Software Requirements from Unstructured Documents.
AIST (Supplement)
Vladimir Ivanov, Andrey Sadovykh, Alexandr Naumchev, Alessandra Bagnato, Kirill Yakovlev
2021 — conf
Security Requirements as Code: Example from VeriDevOps Project.
RE Workshops
Khaled Ismaeel, Alexandr Naumchev, Andrey Sadovykh, Dragos Truscan, Eduard Paul Enoiu, Cristina Seceleanu
2021 J jnl
The concept of class invariant in object-oriented programming.
CoRR
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev
2020 J jnl
Code Review in the Classroom.
CoRR
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
2020 — ch.
DevOps and Its Philosophy: Education Matters!
Microservices, Science and Engineering
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2020 — ed.
Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers
FISEE
Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh
2019 J jnl
AutoReq: Expressing and verifying requirements for control systems.
J. Comput. Lang.
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2019 J jnl
DevOps and its Philosophy : Education Matters!
CoRR
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
2019 J jnl
Formality in Software Requirements.
CoRR
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer
2019 — conf
Object-Oriented Requirements: Reusable, Understandable, Verifiable.
TOOLS
Alexandr Naumchev
2019 J jnl
Object-oriented requirements: reusable, understandable, verifiable.
CoRR
Alexandr Naumchev
2019 J jnl
Seamless Object-Oriented Requirements.
CoRR
Alexandr Naumchev
2019 — —
Seamless Object-Oriented Requirements. (Exigences orientées objets dans un cycle de vie continu).
Alexandr Naumchev
2019 J jnl
The Anatomy of Requirements.
CoRR
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
2019 — conf
Towards Code Review Guideline in a Classroom.
FISEE
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
2019 — conf
Towards an Anatomy of Software Requirements.
TOOLS
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
2019 — conf
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper).
TOOLS
Alexandr Naumchev, Andrey Sadovykh, Vladimir Ivanov
2018 — conf
Detection of Inconsistent Contracts Through Modular Verification.
SEDA
Alexandr Naumchev
2018 — conf
Teaching DevOps in Corporate Environments - An Experience Report.
DEVOPS
Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
2018 J jnl
Teaching DevOps in Corporate Environments: An experience report.
CoRR
Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
2018 — conf
Teaching Programming and Design-by-Contract.
ICL (1)
Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, JooYong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
2017 J jnl
A contract-based method to specify stimulus-response requirements.
CoRR
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
2017 J jnl
Expressing and verifying embedded software requirements.
CoRR
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
2017 J jnl
Seamless Requirements.
CoRR
Alexandr Naumchev, Bertrand Meyer
2017 J jnl
Seamless requirements.
Comput. Lang. Syst. Struct.
Alexandr Naumchev, Bertrand Meyer
2017 J jnl
Teaching Programming and Design-by-Contract.
CoRR
Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
2017 J jnl
Towards operational natural language.
CoRR
Alexandr Naumchev
2016 Misc conf
Complete Contracts through Specification Drivers.
TASE
Alexandr Naumchev, Bertrand Meyer
2016 J jnl
Complete contracts through specification drivers.
CoRR
Alexandr Naumchev, Bertrand Meyer
2016 J jnl
Unifying Requirements and Code: an Example.
CoRR
Alexandr Naumchev, Bertrand Meyer, Victor Rivera
2015 — conf
Unifying Requirements and Code: An Example.
Ershov Memorial Conference
Alexandr Naumchev, Bertrand Meyer, Víctor Rivera