Founded in 1989, AMAST aims at setting the development of software technology on firm mathematical basis. The virtue of software technology envisioned by AMAST is the capability to produce software that is correct, and its correctness can be proved mathematically, is safe, so that it can be used in the implementation of critical systems, is portable, that is independent of computing platforms and language generation, and evolves with the problem domain. Today AMAST is a professional movement whose goals are embraced by a large national and international following.