Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
Schedule
View analytic
Wednesday, December 11 • 3:50pm - 4:50pm
Bertrand Meyer--Keynote:Verification As a Matter Of Course

Sign up or log in to save this to your schedule and see who's attending!

We should verify all the software that we build. Verification technology has made such progress that this goal is becoming realistic. Verification will no longer be restricted to life-critical, expensive systems but will be a normal component of the development process. I will present tool, method and language support for the achievement of this goal.


Speakers
avatar for Bertrand Meyer

Bertrand Meyer

Bertrand Meyer is Professor of Software Engineering at ETH Zurich, the Swiss Federal Institute of Technology, research professor at ITMO (State University of Saint Petersburg) and Chief Architect of Eiffel Software (based in California). He is the initial designer of the Eiffel method and language and has continued to participate in its evolution. He also directed the development of the EiffelStudio environment, compiler, tools and libraries... Read More →


Wednesday December 11, 2013 3:50pm - 4:50pm
Hall 5.1

Attendees (68)