Corpus ID: 8542275

Fourteen Years of Software Engineering at ETH Zurich

@article{Meyer2017FourteenYO,
  title={Fourteen Years of Software Engineering at ETH Zurich},
  author={B. Meyer},
  journal={ArXiv},
  year={2017},
  volume={abs/1712.05078}
}
  • B. Meyer
  • Published 2017
  • Computer Science
  • ArXiv
A Chair of Software Engineering existed at ETH Zurich, the Swiss Federal Insti-tute of Technology, from 1 October 2001 to 31 January 2016, under my leader-ship. Our work, summarized here, covered a wide range of theoretical and practi-cal topics, with object technology in the Eiffel method as the unifying thread . 
1 Citations

Topics from this paper

References

SHOWING 1-10 OF 259 REFERENCES
Are Practitioners Writing Contracts?
  • 44
Eiffel as a Framework for Verification
  • 7
  • PDF
Formal Techniques for Java-Like Programs (FTfJP)
  • 33
  • PDF
A Framework for Proving Contract-Equipped Classes
  • B. Meyer
  • Computer Science
  • Abstract State Machines
  • 2003
  • 15
  • PDF
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques
  • 35
  • PDF
The 1st Verified Software Competition: Experience Report
  • 79
  • PDF
The grand challenge of trusted components
  • B. Meyer
  • Engineering, Computer Science
  • 25th International Conference on Software Engineering, 2003. Proceedings.
  • 2003
  • 207
  • PDF
Programs That Test Themselves
  • 83
  • PDF
The Start of an Eiffel Standard
  • B. Meyer
  • Computer Science
  • J. Object Technol.
  • 2002
  • 11
  • PDF
The Role of Contracts in Distributed Development
  • 20
  • PDF
...
1
2
3
4
5
...