The 4th Asian Workshop on Advanced Software Engineering (AWASE) aims at providing a forum for researchers and educators to present and discuss the most recent innovations, trends, advances, experience and concerns in the generative approach to software development, as well as to promote the interaction between participators. The scientific subject of the workshop covers (but does not limit to) areas such as software engineering, formal method, model checking, program analysis/transformation , and applications in major areas of computer science. The workshop will be held on October 11th and 12th, 2014, at Peking University in Beijing, China.


The venue is Hall No.4, Da Xue Tang at The Lakeview Hotel. It is at Floor B1. Please walk downstairs from the first floor, and then walk along the right-hand side to reach the venue.


The scientific topics of the workshop include, but are not limited to:

  • Service Computing
  • Internetware
  • Agent-oriented Software Engineering
  • Security & Safety
  • Requirement Engineering
  • Model Transformation
  • Problem Frames
  • Model Checking
  • Program Analysis
  • Formal Method
  • Software Testing
  • Cloud Computing
  • Past Workshops
  • The 1st workshop was held at Peking University in China in 2010
  • The 2nd workshop was held at Hakone-machi in Japan in 2011
  • The 3rd workshop was held at National University of Singapore in 2013