From post

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

Touch of Class: Learning to Program Well with Objects and Contracts

B. Meyer. Springer, Heidelberg, (2009)
DOI: 10.1007/978-3-540-92145-5

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.

Systematic Concurrent Object-Oriented Programming.B. Meyer. TOOLS (12/9), стр. 325. Prentice Hall, (1993)A Basis for the Constructive Approach to Programming.B. Meyer. IFIP Congress, стр. 293-298. (1980)The Software Knowledge Base.B. Meyer. ICSE, стр. 158-165. IEEE Computer Society, (1985)A Sound and Complete Program Logic for Eiffel.M. Nordio, C. Calcagno, P. Müller, и B. Meyer. TOOLS (47), том 33 из Lecture Notes in Business Information Processing, стр. 195-214. Springer, (2009)Objektorientierte SoftwareentwicklungB. Meyer. Carl Hanser Verlag / Prentice Hall, (1990)Design by Contract: The Lessons of ArianeJ. Jézéquel, и B. Meyer. IEEE Computer, 30 (1): 129--130 (января 1997)http://www.inf.ethz.ch/~meyer/publications/computer/ariane.pdf -- geprüft: 17.~Januar~2009.IDE-integrated Support for Schema Evolution in Object-Oriented Applications.M. Piccioni, M. Oriol, и B. Meyer. RAM-SE, стр. 27-36. Fakultät für Informatik, Universität Magdeburg, (2007)Experimental assessment of random testing for object-oriented software.I. Ciupa, A. Leitner, M. Oriol, и B. Meyer. ISSTA, стр. 84-94. ACM, (2007)A comparative study of programmer-written and automatically inferred contracts.N. Polikarpova, I. Ciupa, и B. Meyer. ISSTA, стр. 93-104. ACM, (2009)Seamless Requirements.A. Naumchev, и B. Meyer. CoRR, (2017)