Author:
Whittle Jon,Kwan Richard,Saboo Jyoti
Publisher
Springer Science and Business Media LLC
Subject
Modelling and Simulation,Software
Reference32 articles.
1. Alur R, Etessami K, Yannakakis M (2003) Inference of Message Sequence Charts. IEEE Transactions on Software Engineering 29(7), July
2. Alur R, Holzmann GJ, Peled D (1996) An Analyzer for Message Sequence Charts. In: Proceedings of TACAS96, Lecture Notes in Computer Science, vol 1055. Springer Verlag
3. Biermann A, Krishnaswamy R (1976) Constructing programs from example computations. IEEE Transactions on Software Engineering SE-2(3):141–153
4. Bordeleau F, Corriveau J (2002) On the need for state machine implementation design patterns. In: Systä T (ed) Proceedings of the ICSE2002 Workshop on Scenarios amd state machines: models, algorithms, and tools
5. Damm W, Harel D (1999) LSCs : Breathing life into message sequence charts. In: 3rd International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS99). Kluwer, pp 293–312
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献