A Framework for Translating Models and Specifications-Reference-Cited by-同舟云学术

A Framework for Translating Models and Specifications

Published:2002 Issue: Volume: Page:145-164
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Katz Shmuel,Grumberg Orna

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-47884-1_9

Reference31 articles.

1. K. R. Apt, N. Francez, and S. Katz. Appraising fairness in languages for distributed programming. Distributed Computing, 2:226–241, 1988.

2. Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, César Muñoz, Sam Owre, Harald Rueß, John Rushby, Vlad Rusu, Hassen Saïdi, N. Shankar, Eli Singerman, and Ashish Tiwari. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187–196, Hampton, VA, June 2000. Available at http://shemesh.larc.nasa.gov/fm/Lfm2000/Proc/ .

3. M. Berg and S. Katz. Property transformations for translations. Technical Report CS-2002-05, Computer Science Department, The Technion, 2002.

4. N. Bjorner, A. Browne, E. Chang, M. Colon, A. Kapur, Z. Manna, H.B. Simpa, and T.E. Uribe. Step: The stanford temporal prover-user’s manual. Technical Report STAN-CS-TR-95-1562, Department of Computer Science, Stanford University, November 1995.

5. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. MDE-Based Verification of SysML State Machine Diagram by UPPAAL;Trustworthy Computing and Services;2013

2. Analyzing a Formal Specification of Mondex Using Model Checking;Lecture Notes in Computer Science;2010

3. An MDE-based method for bridging different design notations;Innovations in Systems and Software Engineering;2008-08-12

4. VeriTech: a framework for translating among model description notations;International Journal on Software Tools for Technology Transfer;2006-07-11

5. Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets;Lecture Notes in Computer Science;2006