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

Software runs the world. 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 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.’
  •  
  •  
  • Unless otherwise noted, all of our lectures are free to attend and do not require registration.

 

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

When
November 3rd, 2015 5:00 PM   through   6:30 PM
Location
Piano Lounge
6201 Cecil Green Park Road
Green College, UBC
Vancouver, BC V6T1Z1
Canada
Contact
Phone: 604-822-8660
Email:
Custom Lecture Fields
Is this event a spotlight?
Speaker Series Green College Leading Scholars' Series
Short Title Recovering Specifications of Software Systems
Speaker (new) Ivan Beschastnikh, Computer Science, UBC
Short Speaker
Speaker First Name Ivan
Speaker Last Name Beschastnikh
Speaker Affiliation Computer Science, UBC
Speaker Credentials
Speaker Image
Youtube URL
Podcast URL
Bio Field

Help spread the word

Please help us and let your friends, colleagues and followers know about our page: What's Under the Hood? Recovering Specifications of Software Systems


You can also share the below link in an email or on your website.
https://greencollege.ubc.ca/civicrm/event/info?id=109&reset=1