Insertion Modeling System
作者： Alexander A Letichevsky , Olexandr A Letychevskyi , Vladimir S Peschanenko , None
DOI: 10.1007/978-3-642-29709-0_23
关键词:
摘要: The paper relates to practical aspects of insertion modeling. Insertion modeling system is an environment for the development machines, used represent models distributed systems. architecture machines and IMS presented. machine program verification specified as example, a starting point ‘verifiable programming' project.
springer.com
springerlink.com参考文章(26)
Egon Börger, Specification and validation methods Oxford University Press, Inc.. pp. 1- 460 ,(1995)
Sergey Baranov, Clive Jervis, Vsevolod Kotlyarov, Alexander Letichevsky, Thomas Weigert, Leveraging UML to deliver correct telecom applications UML for real. pp. 323- 342 ,(2003) , 10.1007/0-306-48738-1_15
Structural theory of automata, semigroups, and universal algebra Springer published in cooperation with NATO Public Diplomacy Division. ,(2005) , 10.1007/1-4020-3817-8
Alexander Letichevsky, Algebra of behavior transformations and its applications Springer, Dordrecht. pp. 241- 272 ,(2005) , 10.1007/1-4020-3817-8_10
Robin Milner, Communication and Concurrency ,(1989)
Luciano Lavagno, Bran Selic, Grant Martin, UML for real: design of embedded real-time systems Kluwer Academic Publishers. ,(2003)
Robin Milner, Communicating and Mobile Systems: the Pi-Calculus ,(1999)
Yuri Gurevich, Evolving algebras 1993: Lipari guide Specification and validation methods. pp. 9- 36 ,(1995)
YDE VENEMA, Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pages Theory and Practice of Logic Programming. ,vol. 2, pp. 419- 421 ,(2002) , 10.1017/S1471068402001412
José Meseguer, Conditional rewriting logic as a unified model of concurrency Theoretical Computer Science. ,vol. 96, pp. 73- 155 ,(1992) , 10.1016/0304-3975(92)90182-F