Author:
Autili M.,Inverardi P.,Pelliccione P.
Publisher
Springer Science and Business Media LLC
Reference31 articles.
1. Alfonso, A., Braberman, V., Kicillof, N., Olivero, A.: Visual timed event scenarios. In: 26th ICSE’04. Edinburgh, Scotland, UK (2004)
2. André, C., Peraldi-Frati, M.-A., Rigault, J.-P.: Scenario and property checking of real-time systems using a synchronous approach. In: 4th IEEE Int. Symp. on OO Real-Time Distributed Computing (2001)
3. Autili, M., Inverardi, P., Pelliccione, P.: A scenario based notation for specifying temporal properties. In: 5th International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM’06) Shanghai, China, May 27 (2006a)
4. Autili, M., Pelliccione, P.: Towards a graphical tool for refining user to system requirements. In: 5th GT-VMT’06–ETAPS’06, to appear in ENTCS (2006b)
5. Braberman, V., Kicillof, N., Olivero, A.: A scenario-matching approach to the description and model checking of real-time properties. IEEE Trans. Softw. Eng. 31(12), 1028–1041 (2005)
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献