What's Under the Hood? Recovering Specifications of Software Systems

• The Green College Leading Scholars' Series features two speakers at each event. For more information on the other talk being given, please click here.
   

  Ivan Beschastnikh, Computer Science, UBC
  Coach House, Green College, UBC
  Tuesday, November 3, 5-6:30 pm, reception to follow

  in the series

  Green College Leading Scholars' Series
•  
• Software runs the world. It determines whether or not you have a particular disease, the paths of airplanes across the sky, and who wins the national election. Much of our daily life is wrapped up in software, yet most software comes with no assurance that it will work, or that it works as expected. In this talk, Ivan Beschastnikh will discuss a research area in software engineering that concerns itself with reverse engineering of software specifications. The aim is to recover a blueprint of the software that will tell us how the software operates. The guiding question for this area of research is whether it is possible (or desirable) to completely formulate properties of software before the software is constructed. According to traditional engineering principles the answer is almost always ‘yes.’ Modern software practices indicate that the answer is often ‘no.’

  
•  
• See Lectures in this Series See Our Other Series Support Green College
•  

• Unless otherwise noted, all of our lectures are free to attend and do not require registration.

/event/info?id=101&reset=1