Algebraic Methodology and Software Technology: 9th International Conference, Amast 2002, Saint-Gilles-Les- Bains, Reunion Island, France, September 9-

At the 9th International Conference in Saint-Gilles-Les-Bains, Hélène Kirchner gathers a range of compelling papers that dive into the intricate dance between algebraic methodologies and software technology. This collection showcases invited contributions from leading thinkers, exploring how formal methods can bridge the gap between abstract specifications and tangible code through the use of CASL and beyond.

The discussions extend into the realms of automata and game theory, offering insights into synthesis and pragmatics. Readers are encouraged to delve deep into the innovative techniques discussed, making this a valuable resource for both seasoned professionals and newcomers eager to understand the evolving landscape of software engineering. This volume serves as a warm invitation to reconsider conventional approaches, sparking fresh perspectives in the field.