From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Evidence-Based Automated Program Fixing

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Specification Language.J. Abrial, S. Schuman, и B. Meyer. On the Construction of Programs, Cambridge University Press, (1980)A Framework for Proving Contract-Equipped Classes.B. Meyer. Abstract State Machines, том 2589 из Lecture Notes in Computer Science, стр. 108-125. Springer, (2003)Rational Ethics.B. Meyer. ECSS, стр. 49-64. Springer, (2015)AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs.V. Rivera, и B. Meyer. SN Computer Science, 1 (1): 12:1-12:15 (2020)Applying Search in an Automatic Contract-Based Testing Tool.A. Kolesnichenko, C. Poskitt, и B. Meyer. SSBSE, том 8084 из Lecture Notes in Computer Science, стр. 318-323. Springer, (2013)Seamless requirements.A. Naumchev, и B. Meyer. Comput. Lang. Syst. Struct., (2017)Eiffel: A language and environment for software engineering.B. Meyer. J. Syst. Softw., 8 (3): 199-246 (1988)Cépage: Toward computer-aided design of software.B. Meyer. J. Syst. Softw., 8 (5): 419-429 (1988)A Note on Computing Multiple Sums.B. Meyer. Softw. Pract. Exp., 8 (1): 3-9 (1978)Objektorientierte SoftwareentwicklungB. Meyer. Carl Hanser Verlag / Prentice Hall, (1990)