The TASM Language Reference Manual Version 1.1 - Synrc
The TASM Language Reference Manual Version 1.1 - Synrc
The TASM Language Reference Manual Version 1.1 - Synrc
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Bibliography<br />
[1] M. Anlauff. XASM - An Extensible, Component-Based Abstract State Machines<br />
<strong>Language</strong>. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Abstract<br />
State Machines - ASM 2000, International Workshop on Abstract State Machines,<br />
pages 1–21. TIK-Report 87, 2000.<br />
[2] E. Börger. Why Use Evolving Algebras for Hardware and Software Engineering<br />
In M. Bartošek, J. Staudek, and J. Wiedermann, editors, Proceedings of the 22nd<br />
Seminar on Current Trends in <strong>The</strong>ory and Practice of Informatics, SOFSEM ’95,<br />
volume 1012 of Lecture Notes in Computer Science, pages 236–271, Milovy,<br />
Czech Republic, 1995. Springer-Verlag.<br />
[3] E. Börger. <strong>The</strong> Origins and the Development of the ASM Method for High Level<br />
System Design and Analysis. Journal of Computer Science, 8(5):2–74, 2001.<br />
[4] E. Börger, P. Päppinghaus, and J. Schmid. Report on a Practical Application of<br />
ASMs in Software Design. In Abstract State Machines: <strong>The</strong>ory and Applications,<br />
volume 1912, pages 361–366. Springer-Verlag, 2000.<br />
[5] E. Börger and R. Stärk. Abstract State Machines. Springer-Verlag, 2003.<br />
[6] E. M. Clarke and J. Wing. Formal Methods: State of the Art and Future Directions.<br />
ACM Computing Surveys, 28(3):626–643, 1996.<br />
[7] J. Cohen and A. Slissenko. On Verification of Refinements of Asynchronous<br />
Timed Distributed Algorithms. In Y. Gurevich, P. Kutter, M. Odersky, and<br />
L. Thiele, editors, International Workshop on Abstract State Machines, pages<br />
100–114. Springer-Verlag, 2000.<br />
[8] R. Eschbach, U. Glässer, R. Gotzhein, and A. Prinz. On the Formal Semantics of<br />
Design <strong>Language</strong>s: A Compilation Approach using Abstract State Machines. In<br />
Y. Gurevich, P. Kutter, M. Odersky, , and L. Thiele, editors, Proceedings of the<br />
International Workshop on Abstract State Machines – ASM 2000, volume 1912 of<br />
Lecture Notes in Computer Science, pages 242–265, Monte Verita, Switzerland,<br />
2000. Springer-Verlag.<br />
[9] N. E. Fuchs. Specifications are (Preferably) Executable. IEE/BCS Software Engineering<br />
Journal, 7(5):323–334, 1992.<br />
70