Pourya Shaker

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Code Generation

Formal Specification

Modelling Language

Top Venues

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Sandy Beidu, Joanne M. Atlee, Pourya Shaker
Incremental and Commutative Composition of State-Machine Models of Features. MiSE@ICSE (2015)
Pourya Shaker, Joanne M. Atlee
Behaviour interactions among product-line features. SPLC (2014)
Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih, Pourya Shaker
Recommendations for improving the usability of formal methods for product lines. FormaliSE@ICSE (2013)
Pourya Shaker, Joanne M. Atlee, Shige Wang
A feature-oriented requirements modelling language. RE (2012)
Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker
Code generation for a family of executable modelling notations. Softw. Syst. Model. 11 (2) (2012)
Pourya Shaker
Feature-oriented requirements modelling. ICSE (2) (2010)
Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker
Semantically Configurable Code Generation. MoDELS (2008)