Software Engineering, Meyer
ETH Zentrum, RZ J3
Department of Computer Science
RZ Building, RZ J5
Phone: +41 1 632 47 55
Fax: +41 1 633 10 38
This page: http://se.inf.ethz.ch/people/schoeller
This information is outdated, I am not employed by ETH anymore. Please see my personal homepage at www.fams.de for current contact details. -- Zurich, 2008
My name is Bernd Schoeller, I have been research assistant at the Chair
of Software Engineering at the ETH
Zürich between the years 2002 and 2008. Now I am founder and owner of Comerge AG and Oriact GmbH,
together with Dr. Till Bay and Patrick Ruckstuhl.
I also have a personal homepage that can be found under www.fams.de.
Areas of Research
My main research area is trusted components and component proving. Here
I am trying to find practical ways to fully prove (in a mathematical
way) specific characteristics of software components.
Of course I am always working into different directions at the same time. Currently I am working
on the following projects:
- Formal reasoning and verification of classes
- Model-based contracts and specifications
- Queries, side-effects and contracts
- Programming language constructs and semantics
- Tools for software development
Bernd Schoeller, Making classes provable through contracts, models and frames, dissertation thesis, Departement Informatik, ETH Zurich, 2007
Bernd Schoeller, Eiffel0: An Object-Oriented Language with Dynamic Frame Contracts, Technical Report 542, Chair of Software Engineering, Department of Computer Science, ETH Zurich.
Lisa (Ling) Liu, Bertrand Meyer, Bernd Schoeller, Using contracts and boolean queries to improve the quality of automatic test generation, to appear in Tests and Proofs (TAP 2007), LNCS, Bertrand Meyer and Yuri Gurevich (editors).
Bernd Schoeller, Tobias Widmer and Bertrand Meyer, Making specifications complete through models, to appear
in Architecting Systems with Trustworthy Components, eds Ralf Reussner, Judith Stafford and Clemens Szyperski,
Springer-Verlag Lecture Notes in Computer Science, vol. 3938, 2006.
Bernd Schoeller. "Strengthening Eiffel Contracts using Models", Proceedings of the Workshop on
Formal Aspects of Component Software FACS'03, September 2003, UNU/IIST Report No. 284.
Bernd Schoeller. "Aliased-based Reasoning for Object-Oriented Programs", in Software Engineering 2006, Annual Report of the Chair of Software Engineering, ETH Zurich
Paper, Annual Report 2006
June 8th, 2006: Together will Till Bay, I had a keynote at
OSS 2006 on "Open-Sourcing a Major Commercial Technology".
MML - The Mathematical Model Library
MML is a library of side-effect-free mathematical models
that can be used for contracting classes with the Design by
iVer and Ballet - Verification of Eiffel Code
iVer and Ballet are two tools that are developed to facilitate the verification of Eiffel code. Ballet is a translator for
Eiffel into BoogiePL, a special programming language designed for the verification of object-oriented code. iVer is a graphical
frontend for ballet that makes is possible to interactively edit Eiffel code, with Ballet running in the background.
Noocleus is an experimental library of mathematical
algorithms. It tries to reimplement functionality like that
provided by the NAG libraries
or tools like Mathematica,
but tries to use correct object-oriented abstractions.