The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Design By Contract and the Component Revolution
The work
| Authors | Bertrand Meyer |
|---|---|
| Editors | |
| Type | inproceedings |
| Year | 2000 |
| Citekey | meyer2000design |
Where it appeared
| Published in | 34th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS) |
|---|---|
| Publisher | IEEE Computer Society |
| Pages | 515--518 |
Identifiers
| DOI | 10.1109/tools.2000.10075 |
|---|
Access
| Landing page | https://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.10075 |
|---|
Empty on purpose
| abstract, copy |
Related
| Distinct from | huet2014years |
|---|---|
| Distinct from | kar2013mosfet |
| Distinct from | meyer1991design |
| Distinct from | muller2016viper |
| Distinct from | parnas2010really |
| Distinct from | rosenblum1996formal |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@inproceedings{meyer2000design,
title = {Design By Contract and the Component Revolution},
author = {Bertrand Meyer},
year = {2000},
booktitle = {34th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS)},
publisher = {IEEE Computer Society},
pages = {515--518},
doi = {10.1109/tools.2000.10075},
}
This record lives at https://refs.drheap.org/meyer2000design/ and will keep doing so.