Follow
Alexandr Naumchev
Alexandr Naumchev
Schaffhausen Institute of Technology
Verified email at sit.org
Title
Cited by
Cited by
Year
Seamless requirements
A Naumchev, B Meyer
Computer Languages, Systems & Structures 49, 119-132, 2017
232017
Complete contracts through specification drivers
A Naumchev, B Meyer
2016 10th International Symposium on Theoretical Aspects of Software …, 2016
232016
Unifying requirements and code: an example
A Naumchev, B Meyer, V Rivera
International Andrei Ershov Memorial Conference on Perspectives of System …, 2015
212015
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
142019
Teaching DevOps in corporate environments
M Mazzara, A Naumchev, L Safina, A Sillitti, K Urysov
International Workshop on Software Engineering Aspects of Continuous …, 2018
122018
DevOps and its philosophy: Education matters!
E Bobrov, A Bucchiarone, A Capozucca, N Guelfi, M Mazzara, ...
Microservices, 349-361, 2020
112020
Teaching programming and design-by-contract
D Carvalho, R Hussain, A Khan, M Khazeev, JY Lee, S Masiagin, ...
International Conference on Interactive Collaborative Learning, 68-76, 2018
102018
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
92021
Towards an anatomy of software requirements
B Meyer, JM Bruel, S Ebersold, F Galinier, A Naumchev
International Conference on Objects, Components, Models and Patterns, 10-40, 2019
92019
Object-oriented requirements: reusable, understandable, verifiable
A Naumchev
International Conference on Objects, Components, Models and Patterns, 150-162, 2019
62019
Exigences orientées objets dans un cycle de vie continu
A Naumchev
Toulouse 3, 2019
62019
Seamless object-oriented requirements
A Naumchev
2019 International Multi-Conference on Engineering, Computer and Information …, 2019
52019
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
Detection of inconsistent contracts through modular verification
A Naumchev
International Conference in Software Engineering for Defence Applications …, 2018
42018
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
22020
Formality in software requirements
JM Bruel, S Ebersold, F Galinier, A Naumchev, M Mazzara, B Meyer
CoRR, 2019
22019
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
22019
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
International Conference on Objects, Components, Models and Patterns, 351-363, 2019
22019
A contract-based method to specify stimulus-response requirements
A Naumchev, M Mazzara, B Meyer, JM Bruel, F Galinier, S Ebersold
Труды Института системного программирования РАН 29 (4), 39-54, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20