Alexandr Naumchev

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 33

Top Topics

Embedded Software

Software Requirements

Written In Natural Language

Top Venues

Publications

Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege
Lessons from Formally Verified Deployed Software Systems. CoRR (2023)
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. J. Object Technol. 22 (1) (2023)
Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer
Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. CoRR (2022)
Vladimir Ivanov, Andrey Sadovykh, Alexandr Naumchev, Alessandra Bagnato, Kirill Yakovlev
Extracting Software Requirements from Unstructured Documents. CoRR (2022)
Vladimir Ivanov, Andrey Sadovykh, Alexandr Naumchev, Alessandra Bagnato, Kirill Yakovlev
Extracting Software Requirements from Unstructured Documents. AIST (Supplement) (2021)
Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev
The concept of class invariant in object-oriented programming. CoRR (2021)
Hamna Aslam, Alexandr Naumchev, Jean-Michel Bruel, Joseph Alexander Brown
Examining Requirements Documentation through the Focused Conversation Method. ISD (2021)
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer
The Role of Formalism in System Requirements. ACM Comput. Surv. 54 (5) (2021)
Khaled Ismaeel, Alexandr Naumchev, Andrey Sadovykh, Dragos Truscan, Eduard Paul Enoiu, Cristina Seceleanu
Security Requirements as Code: Example from VeriDevOps Project. RE Workshops (2021)
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
Code Review in the Classroom. CoRR (2020)
Alexandr Naumchev, Andrey Sadovykh, Vladimir Ivanov
VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper). TOOLS (2019)
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina
DevOps and its Philosophy : Education Matters! CoRR (2019)
Alexandr Naumchev
Object-Oriented Requirements: Reusable, Understandable, Verifiable. TOOLS (2019)
Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara
Towards Code Review Guideline in a Classroom. FISEE (2019)
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
The Anatomy of Requirements. CoRR (2019)
Alexandr Naumchev
Object-oriented requirements: reusable, understandable, verifiable. CoRR (2019)
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer
Formality in Software Requirements. CoRR (2019)
Alexandr Naumchev
Seamless Object-Oriented Requirements. CoRR (2019)
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
AutoReq: Expressing and verifying requirements for control systems. J. Comput. Lang. 51 (2019)
Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev
Towards an Anatomy of Software Requirements. TOOLS (2019)
Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
Teaching DevOps in Corporate Environments: An experience report. CoRR (2018)
Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov
Teaching DevOps in Corporate Environments - An Experience Report. DEVOPS (2018)
Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
Teaching Programming and Design-by-Contract. ICL (1) (2018)
Alexandr Naumchev
Detection of Inconsistent Contracts Through Modular Verification. SEDA (2018)
Alexandr Naumchev, Bertrand Meyer
Seamless requirements. Comput. Lang. Syst. Struct. 49 (2017)
Daniel de Carvalho, JooYoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera
Teaching Programming and Design-by-Contract. CoRR (2017)
Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold
Expressing and verifying embedded software requirements. CoRR (2017)
Alexandr Naumchev, Bertrand Meyer
Seamless Requirements. CoRR (2017)
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
A contract-based method to specify stimulus-response requirements. CoRR (2017)
Alexandr Naumchev
Towards operational natural language. CoRR (2017)
Alexandr Naumchev, Bertrand Meyer, Victor Rivera
Unifying Requirements and Code: an Example. CoRR (2016)
Alexandr Naumchev, Bertrand Meyer
Complete Contracts through Specification Drivers. TASE (2016)
Alexandr Naumchev, Bertrand Meyer
Complete contracts through specification drivers. CoRR (2016)
Alexandr Naumchev, Bertrand Meyer, Víctor Rivera
Unifying Requirements and Code: An Example. Ershov Memorial Conference (2015)