Standard
Seamless Object-Oriented Requirements. / Naumchev, Alexandr.
SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS. 2019. p. 743-748 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).
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. SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings, pp. 743-748, 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
Vancouver
Naumchev A.
Seamless Object-Oriented Requirements. In SIBIRCON 2019 - INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING, COMPUTER AND INFORMATION SCIENCES, PROCEEDINGS. 2019. p. 743-748. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings). 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. 743-748 (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).
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.",
keywords = "AutoProof, Design by Contract, Eiffel, formal verification, object-oriented programming, program proving, seamless development, seamless object-oriented requirements",
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",
isbn = "9781728144016",
series = "SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings",
pages = "743--748",
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.
KW - AutoProof
KW - Design by Contract
KW - Eiffel
KW - formal verification
KW - object-oriented programming
KW - program proving
KW - seamless development
KW - seamless object-oriented requirements
UR - https://elibrary.ru/item.asp?id=43237698
UR - https://www.mendeley.com/catalogue/1139ac3f-1b97-34c0-8135-80c5f5e360f4/
U2 - 10.1109/SIBIRCON48586.2019.8958211
DO - 10.1109/SIBIRCON48586.2019.8958211
M3 - Conference contribution
SN - 9781728144016
T3 - SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings
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 -
