Standard

Detection of Inconsistent Contracts Through Modular Verification. / Naumchev, Alexandr.

Detection of Inconsistent Contracts Through Modular Verification. 2020. стр. 206-220 19 (Proceedings of 6th International Conference in Software Engineering for Defence Applications; Том 925).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

Harvard

Naumchev, A 2020, Detection of Inconsistent Contracts Through Modular Verification. в Detection of Inconsistent Contracts Through Modular Verification., 19, Proceedings of 6th International Conference in Software Engineering for Defence Applications, Том. 925, стр. 206-220. https://doi.org/10.1007/978-3-030-14687-0_19

APA

Naumchev, A. (2020). Detection of Inconsistent Contracts Through Modular Verification. в Detection of Inconsistent Contracts Through Modular Verification (стр. 206-220). [19] (Proceedings of 6th International Conference in Software Engineering for Defence Applications; Том 925). https://doi.org/10.1007/978-3-030-14687-0_19

Vancouver

Naumchev A. Detection of Inconsistent Contracts Through Modular Verification. в Detection of Inconsistent Contracts Through Modular Verification. 2020. стр. 206-220. 19. (Proceedings of 6th International Conference in Software Engineering for Defence Applications). doi: 10.1007/978-3-030-14687-0_19

Author

Naumchev, Alexandr. / Detection of Inconsistent Contracts Through Modular Verification. Detection of Inconsistent Contracts Through Modular Verification. 2020. стр. 206-220 (Proceedings of 6th International Conference in Software Engineering for Defence Applications).

BibTeX

@inbook{0f9e6c541ef5430388137665610575be,
title = "Detection of Inconsistent Contracts Through Modular Verification",
abstract = "Existing techniques of Design by Contract do not prevent developers from specifying inconsistent contracts. Any attempt to write a program to meet an inconsistent contract will fail, leading to wasted resources. The present article describes a technique for catching inconsistent contracts in the development time. Applying the technique may save projects{\textquoteright} resources and lower the likelihood of failure.",
keywords = "AutoProof, Design by Contract, Eiffel, Inconsistent contract, Specification drivers",
author = "Alexandr Naumchev",
year = "2020",
doi = "10.1007/978-3-030-14687-0_19",
language = "English",
isbn = "978-3-030-14686-3",
series = "Proceedings of 6th International Conference in Software Engineering for Defence Applications",
pages = "206--220",
booktitle = "Detection of Inconsistent Contracts Through Modular Verification",

}

RIS

TY - CHAP

T1 - Detection of Inconsistent Contracts Through Modular Verification

AU - Naumchev, Alexandr

PY - 2020

Y1 - 2020

N2 - Existing techniques of Design by Contract do not prevent developers from specifying inconsistent contracts. Any attempt to write a program to meet an inconsistent contract will fail, leading to wasted resources. The present article describes a technique for catching inconsistent contracts in the development time. Applying the technique may save projects’ resources and lower the likelihood of failure.

AB - Existing techniques of Design by Contract do not prevent developers from specifying inconsistent contracts. Any attempt to write a program to meet an inconsistent contract will fail, leading to wasted resources. The present article describes a technique for catching inconsistent contracts in the development time. Applying the technique may save projects’ resources and lower the likelihood of failure.

KW - AutoProof

KW - Design by Contract

KW - Eiffel

KW - Inconsistent contract

KW - Specification drivers

UR - https://www.mendeley.com/catalogue/42a73fc8-f702-3237-a967-cba5c3ad8056/

U2 - 10.1007/978-3-030-14687-0_19

DO - 10.1007/978-3-030-14687-0_19

M3 - Chapter

SN - 978-3-030-14686-3

T3 - Proceedings of 6th International Conference in Software Engineering for Defence Applications

SP - 206

EP - 220

BT - Detection of Inconsistent Contracts Through Modular Verification

ER -

ID: 65525948