{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T06:17:19Z","timestamp":1768717039431,"version":"3.49.0"},"reference-count":39,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1988,6,1]],"date-time":"1988-06-01T00:00:00Z","timestamp":581126400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1988,6]]},"DOI":"10.1016\/0164-1212(88)90022-2","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:49:55Z","timestamp":1060318195000},"page":"199-246","source":"Crossref","is-referenced-by-count":74,"title":["Eiffel: A language and environment for software engineering"],"prefix":"10.1016","volume":"8","author":[{"given":"Bertrand","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(88)90022-2_BIB1","article-title":"Military Standard: Ada Programming Language (American National Standards Institute and US Government Department of Defense, Ada Joint Program Office)","author":"ANSI","year":"1983","journal-title":"ANSI\/MIL-STD-1815A-1983"},{"key":"10.1016\/0164-1212(88)90022-2_BIB2","series-title":"LOOPS: an Object-Oriented Programming System for Interlisp","author":"Bobrow","year":"1982"},{"key":"10.1016\/0164-1212(88)90022-2_BIB3","series-title":"Software Engineering with Ada","author":"Booch","year":"1983"},{"key":"10.1016\/0164-1212(88)90022-2_BIB4","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/TSE.1986.6312937","article-title":"Object-Oriented Development","volume":"12","author":"Booch","year":"1986","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/0164-1212(88)90022-2_BIB5","series-title":"Proceedings of AAAI-82","first-page":"234","article-title":"Multiple Inheritance in Smalltalk-80","author":"Borning","year":"1982"},{"key":"10.1016\/0164-1212(88)90022-2_BIB6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/MC.1983.1654200","article-title":"What IS-A and isn't: An analysis of taxonomic links in semantic networks","volume":"16","author":"Brachman","year":"1983","journal-title":"Computer (IEEE)"},{"key":"10.1016\/0164-1212(88)90022-2_BIB7","article-title":"Flavors","author":"Cannon","year":"1980"},{"key":"10.1016\/0164-1212(88)90022-2_BIB8","series-title":"Object-Oriented Programming: An Evolutionary Approach","author":"Cox","year":"1986"},{"key":"10.1016\/0164-1212(88)90022-2_BIB9","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1002\/spe.4380090402","article-title":"Make\u2014a program for maintaining computer programs","volume":"9","author":"Feldman","year":"1979","journal-title":"Software Practice and Experience"},{"key":"10.1016\/0164-1212(88)90022-2_BIB10","series-title":"Smalltalk-80: The Language and its Implementation","author":"Goldberg","year":"1983"},{"key":"10.1016\/0164-1212(88)90022-2_BIB11","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF00289507","article-title":"Proof of Correctness of Data Representations","volume":"1","author":"Hoare","year":"1972","journal-title":"Acta Informatica"},{"key":"10.1016\/0164-1212(88)90022-2_BIB12","series-title":"ACM SIGACT\/SIGPLAN Symposium on Principles of Programming Languages","article-title":"Hints on Programming Language Design","author":"Hoare","year":"1973"},{"key":"10.1016\/0164-1212(88)90022-2_BIB13","article-title":"Ceyx, Version 15:1\u2014une Initiation","author":"Hullot","year":"1984"},{"key":"10.1016\/0164-1212(88)90022-2_BIB14","article-title":"Technical Report TR-EI-7\/LI","author":"Interactive Software Engineering, Inc.","year":"1986"},{"key":"10.1016\/0164-1212(88)90022-2_BIB15","article-title":"Technical Report TR-EI-5\/UM","author":"Interactive Software Engineering, Inc.","year":"1986"},{"key":"10.1016\/0164-1212(88)90022-2_BIB16","series-title":"Systematic Software Development Using VDM","author":"Jones","year":"1986"},{"key":"10.1016\/0164-1212(88)90022-2_BIB17","series-title":"Data Management","first-page":"26","article-title":"Software Maintenance: A User\/Management Tug of War","author":"Lientz","year":"1979"},{"key":"10.1016\/0164-1212(88)90022-2_BIB18","author":"Liskov","year":"1981"},{"key":"10.1016\/0164-1212(88)90022-2_BIB19","unstructured":"B. Meyer, Applied Programming Methodology, course notes, University of California, Santa Barbara, to appear as a book."},{"key":"10.1016\/0164-1212(88)90022-2_BIB20_1","first-page":"89","article-title":"Quelques concepts importants des langages de programmation modernes et leur expression en Simula 67","volume":"1","author":"Meyer","year":"1979"},{"key":"10.1016\/0164-1212(88)90022-2_BIB20_2","volume":"9","author":"Meyer","year":"1979"},{"key":"10.1016\/0164-1212(88)90022-2_BIB21","article-title":"M: A System Description Method","author":"Meyer","year":"1986"},{"key":"10.1016\/0164-1212(88)90022-2_BIB22","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MS.1987.230097","article-title":"Reusability: the Case for Object-Oriented Design","volume":"4","author":"Meyer","year":"1987","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(88)90022-2_BIB23","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/24686.24694","article-title":"Eiffel: Programming for Reusability and Extendibility","volume":"22","author":"Meyer","year":"1987","journal-title":"ACM Sigplan Notices"},{"key":"10.1016\/0164-1212(88)90022-2_BIB24","doi-asserted-by":"crossref","unstructured":"B. Meyer, C\u00e9page: Towards Computer-Aided Design of Software, Journal of Systems and Software, 1988, in press.","DOI":"10.1016\/0164-1212(88)90033-7"},{"key":"10.1016\/0164-1212(88)90022-2_BIB25","series-title":"Programming as Contracting","author":"Meyer","year":"1988"},{"key":"10.1016\/0164-1212(88)90022-2_BIB26_1","article-title":"Genericity, static type checking, and inheritance","author":"Meyer","year":"1988","journal-title":"The Journal of Pascal, Ada and Modula-2"},{"key":"10.1016\/0164-1212(88)90022-2_BIB26_2","series-title":"OOPSLA conference","first-page":"391","author":"Meyer","year":"1986"},{"key":"10.1016\/0164-1212(88)90022-2_BIB27","series-title":"Object-Oriented Software Construction","author":"Meyer","year":"1988"},{"issue":"2","key":"10.1016\/0164-1212(88)90022-2_BIB28","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1986.6312935","article-title":"Data Structured Programming: Program Design without Arrays and Pointers","volume":"12","author":"Mills","year":"1986","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/0164-1212(88)90022-2_BIB29","series-title":"Eiffel User Group Meeting","article-title":"Teaching software engineering with Eiffel (in French)","author":"Rousseau","year":"1988"},{"key":"10.1016\/0164-1212(88)90022-2_BIB30_1","series-title":"OOPSLA '86 Conference Proceedings","first-page":"9","article-title":"An Introduction to Trellis-Owl","author":"Schaffert","year":"1986"},{"issue":"11","key":"10.1016\/0164-1212(88)90022-2_BIB30_2","doi-asserted-by":"crossref","DOI":"10.1145\/960112.28699","volume":"21","author":"Schaffert","year":"1986","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0164-1212(88)90022-2_BIB31","series-title":"The C + + Programming Language","author":"Stroustrup","year":"1986"},{"key":"10.1016\/0164-1212(88)90022-2_BIB32","article-title":"Object Pascal Report","volume":"9","author":"Tesler","year":"1985","journal-title":"Structured Language World"},{"key":"10.1016\/0164-1212(88)90022-2_BIB33_1","series-title":"Proceedings of ACM SIGSOFT\/SIGPLAN Software Engineering Symposium on Practical Software Development Environments","first-page":"157","article-title":"Generation Scavenging: A Non-disruptive High Performance Storage Reclamation Algorithm","author":"Ungar","year":"1984"},{"issue":"3","key":"10.1016\/0164-1212(88)90022-2_BIB33_2","doi-asserted-by":"crossref","DOI":"10.1145\/390010.808261","volume":"9","author":"Ungar","year":"1984","journal-title":"ACM Software Engineering Notes"},{"issue":"5","key":"10.1016\/0164-1212(88)90022-2_BIB33_3","doi-asserted-by":"crossref","DOI":"10.1145\/390011.808261","volume":"19","author":"Ungar","year":"1984","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0164-1212(88)90022-2_BIB34","series-title":"Programming in Modula-2","author":"Wirth","year":"1982"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121288900222?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121288900222?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T05:33:46Z","timestamp":1585114426000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121288900222"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,6]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,6]]}},"alternative-id":["0164121288900222"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(88)90022-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1988,6]]}}}