Japanese home page is here .
Formal methods are on the cutting edge of software engineering.
Time and again, arguments on their pros and cons appear in journals, and a consensus seems to be that, no matter what advantages they have, they are forever destined to be on the cutting edge. If so, it is a sorry conclusion. In this project, we dare, in spite of the above situation, to lay a foundation on which to build an attractive congress centre of algebraic specification. The emphasis is on its attractiveness to ordinary practitioners, rather than to researchers already converted and committed. It is based on order-sorted rewrite logic with parameters.