Standard

Complete Contracts through Specification Drivers. / Naumchev, Alexandr; Meyer, Bertrand.

PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016. 2016. стр. 160-167.

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

Harvard

Naumchev, A & Meyer, B 2016, Complete Contracts through Specification Drivers. в PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016. стр. 160-167, 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 17.07.2016. https://doi.org/10.1109/TASE.2016.13

APA

Naumchev, A., & Meyer, B. (2016). Complete Contracts through Specification Drivers. в PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016 (стр. 160-167) https://doi.org/10.1109/TASE.2016.13

Vancouver

Naumchev A, Meyer B. Complete Contracts through Specification Drivers. в PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016. 2016. стр. 160-167 doi: 10.1109/TASE.2016.13

Author

Naumchev, Alexandr ; Meyer, Bertrand. / Complete Contracts through Specification Drivers. PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016. 2016. стр. 160-167

BibTeX

@inproceedings{dc93338ee9694a798b17437e2ff5cdf2,
title = "Complete Contracts through Specification Drivers",
author = "Alexandr Naumchev and Bertrand Meyer",
note = "Naumchev, A. Complete Contracts through Specification Drivers / A. Naumchev, B. Meyer // Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016 : 10, Shanghai, 17–19 июля 2016 года. – Shanghai, 2016. – P. 160-167. – DOI 10.1109/TASE.2016.13.; 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE) ; Conference date: 17-07-2016 Through 19-07-2016",
year = "2016",
month = jul,
doi = "10.1109/TASE.2016.13",
language = "English",
pages = "160--167",
booktitle = "PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016",

}

RIS

TY - GEN

T1 - Complete Contracts through Specification Drivers

AU - Naumchev, Alexandr

AU - Meyer, Bertrand

N1 - Naumchev, A. Complete Contracts through Specification Drivers / A. Naumchev, B. Meyer // Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016 : 10, Shanghai, 17–19 июля 2016 года. – Shanghai, 2016. – P. 160-167. – DOI 10.1109/TASE.2016.13.

PY - 2016/7

Y1 - 2016/7

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

U2 - 10.1109/TASE.2016.13

DO - 10.1109/TASE.2016.13

M3 - Conference contribution

SP - 160

EP - 167

BT - PROCEEDINGS - 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2016

T2 - 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE)

Y2 - 17 July 2016 through 19 July 2016

ER -

ID: 65844691