Subject
General Computer Science,Theoretical Computer Science
Reference8 articles.
1. The origins and the development of the ASM method for high-level system design and analysis;Börger;J. Univ. Comput. Sci.,2002
2. E. Börger, The ASM ground model method as a foundation of requirements engineering, in: N. Dershowitz (Ed.), Verification: Theory and Practice, Lecture Notes in Computer Science, Vol. 2772, Springer, Berlin, 2003, pp. 145–160.
3. The ASM refinement method;Börger;Formal Aspects Comput.,2003
4. E. Börger, Abstract state machines: a unifying view of models of computation and of system design frameworks, Ann. Pure Appl. Logic, to appear.
5. E. Börger, A. Gargantini, E. Riccobene (Eds.), Abstract State Machines 2003—Advances in Theory and Applications, Lecture Notes in Computer Science, Vol. 2589, Springer, Berlin, 2003.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献