Alexandr Naumchev

According to our database, Alexandr Naumchev authored at least 29 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests.

Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer

J. Object Technol., 2023

Lessons from Formally Verified Deployed Software Systems.

Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege

CoRR, 2023

2022

The Role of Formalism in System Requirements.

Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer

ACM Comput. Surv., 2022

2021

The concept of class invariant in object-oriented programming.

Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev

CoRR, 2021

Security Requirements as Code: Example from VeriDevOps Project.

Khaled Ismaeel, Alexandr Naumchev, Andrey Sadovykh, Dragos Truscan, Eduard Paul Enoiu, Cristina Seceleanu

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Examining Requirements Documentation through the Focused Conversation Method.

Hamna Aslam, Alexandr Naumchev, Jean-Michel Bruel, Joseph Alexander Brown

Proceedings of the Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), 2021

Extracting Software Requirements from Unstructured Documents.

Vladimir Ivanov, Andrey Sadovykh, Alexandr Naumchev, Alessandra Bagnato, Kirill Yakovlev

Proceedings of the Recent Trends in Analysis of Images, Social Networks and Texts, 2021

2020

Code Review in the Classroom.

Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara

CoRR, 2020

DevOps and Its Philosophy: Education Matters!

Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina

Proceedings of the Microservices, Science and Engineering., 2020

2019

Seamless Object-Oriented Requirements. (Exigences orientées objets dans un cycle de vie continu).

Alexandr Naumchev

PhD thesis, 2019

AutoReq: Expressing and verifying requirements for control systems.

Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold

J. Comput. Lang., 2019

Seamless Object-Oriented Requirements.

Alexandr Naumchev

CoRR, 2019

Formality in Software Requirements.

Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer

CoRR, 2019

The Anatomy of Requirements.

Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev

CoRR, 2019

DevOps and its Philosophy : Education Matters!

Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca, Nicolas Guelfi, Manuel Mazzara, Alexandr Naumchev, Larisa Safina

CoRR, 2019

VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper).

Alexandr Naumchev, Andrey Sadovykh, Vladimir Ivanov

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Object-Oriented Requirements: Reusable, Understandable, Verifiable.

Alexandr Naumchev

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Towards an Anatomy of Software Requirements.

Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev

Proceedings of the Software Technology: Methods and Tools - 51st International Conference, 2019

Towards Code Review Guideline in a Classroom.

Victor Rivera, Hamna Aslam, Alexandr Naumchev, Daniel de Carvalho, Mansur Khazeev, Manuel Mazzara

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Detection of Inconsistent Contracts Through Modular Verification.

Alexandr Naumchev

Proceedings of 6th International Conference in Software Engineering for Defence Applications, 2018

Teaching DevOps in Corporate Environments - An Experience Report.

Manuel Mazzara, Alexandr Naumchev, Larisa Safina, Alberto Sillitti, Konstantin Urysov

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

Teaching Programming and Design-by-Contract.

Daniel de Carvalho, Rasheed Hussain, Adil Khan, Mansur Khazeev, Jooyong Lee, Sergey Masyagin, Manuel Mazzara, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

Proceedings of the Challenges of the Digital Transformation in Education - Proceedings of the 21st International Conference on Interactive Collaborative Learning (ICL 2018), 2018

2017

Towards operational natural language.

Alexandr Naumchev

CoRR, 2017

Teaching Programming and Design-by-Contract.

Daniel de Carvalho, Jooyoung Lee, Adil Khan, Manuel Mazzara, Mansur Khazeev, Ruslan Mustafin, Alexandr Naumchev, Victor Rivera

CoRR, 2017

Expressing and verifying embedded software requirements.

Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold

CoRR, 2017

A contract-based method to specify stimulus-response requirements.

Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold

CoRR, 2017

Seamless requirements.

Alexandr Naumchev, Bertrand Meyer

Comput. Lang. Syst. Struct., 2017

2016

Complete Contracts through Specification Drivers.

Alexandr Naumchev, Bertrand Meyer

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

Unifying Requirements and Code: An Example.

Alexandr Naumchev, Bertrand Meyer, Víctor Rivera

Proceedings of the Perspectives of System Informatics, 2015