Prescriptive Semantics for Big-Step Modelling Languages

f abstraction, providing an effective way to discover a Web service based on its interface. Awards and Scholarships - Ontario Graduate Scholarship (OGS), 2008 - Ontario Graduate Scholarship (OGS), 2007 - Ross and Muriel Cheriton Graduate Scholarship, Winter 2007 - Ontario Graduate Scholarship (OGS), 2006 - University of Waterloo Graduate Scholarship, Winter 2006 - The Distinguished Paper Award, “Interface Automata with Complex Actions,” (FSEN’05), 2005 

• Type: Conference
• Year: 2010
• Where: FASE
• Authors: Shahram Esmaeilsabzali, Nancy A. Day
• Keywords: Cheriton Graduate Scholarship, FASE 2010, Graduate Scholarship, Scholarship, Software Engineering