Standard

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

Detection of Inconsistent Contracts Through Modular Verification. 2020. p. 206-220 19 (Proceedings of 6th International Conference in Software Engineering for Defence Applications; Vol. 925).

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

Harvard

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

APA

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

Vancouver

Naumchev A. Detection of Inconsistent Contracts Through Modular Verification. In Detection of Inconsistent Contracts Through Modular Verification. 2020. p. 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. pp. 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