Evolving algebras 1993: Lipari guide
Specification and validation methods
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Applied software architecture
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Executable Specifications based on Dynamic Algebras
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
High Level System Design and Analysis Using Abstract State Machines
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Algebraic Operational Semantics and Modula-2
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Algebraic Operational Semantics and Occam
CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
Hi-index | 0.00 |
The ASM'2000 Workshop marks for the ASM method the transition from its adolescence to the maturation period. The goals which have been achieved open new frontiers and put us into the position to embark on new challenges.