4th IEEE International Symposium on Theoretical Aspects of Software Engineering
August 24 - 27, 2010, Taipei, Taiwan, ROC

Invited Speakers


Prof. Jean-Raymond Abrial
Prof. Jean-Raymond Abrial (CV)
Speech Title: Constructing a prover devoted to set theoretic proofs.

Speech Abstract:

In this talk, I present the latest version of a prover incorporated in the Rodin Platform  (http://www.event-b.org) which is devoted to Event-B modeling formal developments  ("Modeling in Event-B: System and Software Engineering" Cambridge University Press,  2010). The project is made of two parts: first a translator from set-theoretic statements  to predicate calculus and then a classical first order predicate calculus prover. As it is  possible however to quantified over sets, this prover has got some second order flavors  as well.


The presentation shall contain many practical examples.



Jean-Raymond Abrial is the co-inventor of Z, B and Event-B. He is the author of the B-book (CUP 1996), which presents the B-Method. He is currently finishing a new book on Event-B (to be published by CUP 2010). He was a guest Professor at ETH Zurich from 2004 to 2007 where he led the team developing the Rodin Platform for Event-B (funded by the European Project Rodin). After that, he was a researcher also at ETH Zurich, working on a new European Project called Deploy till May 2009. Before being in Zurich, he was a consultant for more than 20 years working in close contact with industrial companies but also with various universities around the world.

Prof. Michael Gerard Hinchey
Prof. Michael Gerard Hinchey (CV)
Speech Title:

Speech Abstract:



Mike Hinchey is Director of the Software Engineering Laboratory at NASA Goddard Space Flight Center. He is also Research Professor (part-time) at Virginia Tech, and Visiting Professor at The Queen's University of Belfast. He received his PhD in Computer Science from University of Cambridge, UK, and an MSc in Computation from University of Oxford. He is a Fellow of the IEE, Institute of Mathematics and Its Applications, and a Chartered Mathematician, Chartered Engineer, Chartered Professional Engineer, and a Senior Member of the IEEE.

Libra Huang (黃振育)
Speech Title: Building a smarter planet with smarter products

Speech Abstract:

This session will introduce the emerging software development practices & tools adopted in IBM, including -

  • Agile:  how it is adopted and lessons learnt
  • Jazz Platform: a platform for collaborative application life cycle management
  • Dev/Test Tool as a service (development  cloud): instead of purchase and install dev/test tools on designated machines, development clouds offers a new model
  • Continuous integration: the practice adopted and the measuring metrics
  • Security/Application scan:   besides functional testing, there are tools to assist development team find out potential security vulnerabilities upfront
  • Asset reuse:  reuse is less risky & costly comparing to creating from scratch.   How reuse is conducted in IBM?
  • etc



Libra Huang is an IBM certified IT Architect (資深資訊系統規劃顧問) and also a certified PMP. He has 10+ years IT experience with IBM in leading large-scale J2EE application development and industry SOA solutioning. In the past 4 years, Libra have been focusing in banking industry solutions delivery and have extensive experience in the area of Customer Data Integration (CDI), Business Process Automation, SOA Enabling, and Business Intelligence. 

Libra is an active member of several IBM technical communities, including China Development Lab (CDL) Invention Development Team, CDL Architecture Board, Global Business Solution Center Architecture Board, and Technical Expert Council – Greater China Group.

Sponsored by: