Standard

Seamless Object-Oriented Requirements. / Naumchev, Alexandr.

SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS. 2019. p. 0743-0748.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

Harvard

Naumchev, A 2019, Seamless Object-Oriented Requirements. in SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS. pp. 0743-0748, 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Tomsk, Yekaterinburg, Russian Federation, 21.10.2019. https://doi.org/10.1109/SIBIRCON48586.2019.8958211

APA

Naumchev, A. (2019). Seamless Object-Oriented Requirements. In SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS (pp. 0743-0748) https://doi.org/10.1109/SIBIRCON48586.2019.8958211

Vancouver

Naumchev A. Seamless Object-Oriented Requirements. In SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS. 2019. p. 0743-0748 doi: 10.1109/SIBIRCON48586.2019.8958211

Author

Naumchev, Alexandr. / Seamless Object-Oriented Requirements. SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS. 2019. pp. 0743-0748

BibTeX

@inproceedings{83de430bf24645d4902c0ca34ad91b97,
title = "Seamless Object-Oriented Requirements",
abstract = "Design by Contract enables seamless software development by unifying software requirements with their implementations. In its pure form, however, Design by Contract leaves some problems with contracts' expressiveness, verifiability, and reusability open. These problems significantly reduce practical applicability of seamless development. The present article introduces seamless object-oriented requirements-a novel approach to seamless development that builds upon Design by Contract and now-Available advanced program proving tools. The article explains and illustrates the new approach, concluding with a quantitative evaluation of the extent to which the approach fixes the problems of traditional contracts.",
author = "Alexandr Naumchev",
note = "Naumchev, A. Seamless Object-Oriented Requirements / A. Naumchev // SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings, Novosibirsk, 21–27 октября 2019 года. – Novosibirsk: Institute of Electrical and Electronics Engineers Inc., 2019. – P. 743-748. – DOI 10.1109/SIBIRCON48586.2019.8958211.; 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), 2019 SIBIRCON ; Conference date: 21-10-2019 Through 27-10-2019",
year = "2019",
month = oct,
doi = "10.1109/SIBIRCON48586.2019.8958211",
language = "English",
pages = "0743--0748",
booktitle = "SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS",
url = "https://ieeexplore.ieee.org/xpl/conhome/1002416/all-proceedings",

}

RIS

TY - GEN

T1 - Seamless Object-Oriented Requirements

AU - Naumchev, Alexandr

N1 - Conference code: V

PY - 2019/10

Y1 - 2019/10

N2 - Design by Contract enables seamless software development by unifying software requirements with their implementations. In its pure form, however, Design by Contract leaves some problems with contracts' expressiveness, verifiability, and reusability open. These problems significantly reduce practical applicability of seamless development. The present article introduces seamless object-oriented requirements-a novel approach to seamless development that builds upon Design by Contract and now-Available advanced program proving tools. The article explains and illustrates the new approach, concluding with a quantitative evaluation of the extent to which the approach fixes the problems of traditional contracts.

AB - Design by Contract enables seamless software development by unifying software requirements with their implementations. In its pure form, however, Design by Contract leaves some problems with contracts' expressiveness, verifiability, and reusability open. These problems significantly reduce practical applicability of seamless development. The present article introduces seamless object-oriented requirements-a novel approach to seamless development that builds upon Design by Contract and now-Available advanced program proving tools. The article explains and illustrates the new approach, concluding with a quantitative evaluation of the extent to which the approach fixes the problems of traditional contracts.

UR - https://elibrary.ru/item.asp?id=43237698

U2 - 10.1109/SIBIRCON48586.2019.8958211

DO - 10.1109/SIBIRCON48586.2019.8958211

M3 - Conference contribution

SP - 743

EP - 748

BT - SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS

T2 - 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON)

Y2 - 21 October 2019 through 27 October 2019

ER -

ID: 65846631