Author:
Harel David,Kantor Amir,Maoz Shahar
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. In: Proc. 22nd Int. Conf. on Soft. Eng. (ICSE 2000), pp. 304–313. ACM Press, New York (2000)
2. Bontemps, Y., Schobbens, P.-Y., Löding, C.: Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Inform. 62(2), 139–169 (2004)
3. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design??19(1), 45???80 (2001);
4. Preliminary version in: Ciancarini, P., Fantechi, A., Gorrieri, R.(eds.) Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. 293???312. Kluwer Academic Publishers, Dordrecht (1999)
5. Harel, D.: From Play-In Scenarios To Code: An Achievable Dream. IEEE Computer??34(1), 53???60 (2001);
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesis from scenario-based specifications;Journal of Computer and System Sciences;2012-05
2. A Compiler for Multimodal Scenarios;ACM Transactions on Software Engineering and Methodology;2011-09
3. Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications;Tools and Algorithms for the Construction and Analysis of Systems;2009
4. Controller Synthesis from LSC Requirements;Fundamental Approaches to Software Engineering;2009