Mini-track

OBJ/CafeOBJ/Maude Mini-Track

Scope
OBJ is among the best known algebraic specification languages. It embodies clear and precise algebraic semantics while maintaining intuitive operational semantics through rewriting. OBJ has been used as one of the major formal specification languages at many sites all over the world for more than 20 years. CafeOBJ and Maude are the two successors of OBJ incorporating several important new developments in algebraic specification theory and practice.

The Mini-Track will present some of the latest developments of these languages.

Accepted Papers
We have the following five papers accepted for the Mini-Track.

"Hiding More of Hidden Algebra" by Joseph Goguen and Grigore Rosu
"Maude as a Formal Meta-Tool" M. Clavel, F. Duran, S. Eker, and J. Meseguer
"Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks" by Shin Nakajima
"Component-based Algebraic Specification and Verification in CafeOBJ" by Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
"Verifying Behavioural Specifications in CafeOBJ Environment" by Akira Mori and Kokichi Futatsugi

See the programe of Technical Symposium here.

OBJ/CafeOBJ/Maude Workshop
There is also OBJ/CafeOBJ/Maude Workshop co-located with FM'99. Please check the workshop homepage for more information.

Contact Information
For more information about the Mini-Track, please contact Professor Futatsugi Kokichi at Japan Advanced Intsititute of Science and Technology, Hokuriku.

Last modified: 10th June 99