Author:
Haugen Øystein,Husa Knut Eilif,Runde Ragnhild Kobro,Stølen Ketil
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
2. Combes, P., Pickin, S., Renard, B., Olsen, F.: MSCs to express service requirements as properties on an SDL model: Application to service interaction detection. In: 7th SDL Forum (SDL1995), pp. 243–256. North-Holland, Amsterdam (1995)
3. Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. In: Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. 293–311. Kluwer Academic Publishers, Dordrecht (1999)
4. Engels, A., Mauw, S., Reniers, M.A.: A hierarchy of communication models for message sequence charts. In: Formal Description Tecniques and Protocol Specification, Testing and Verification, pp. 75–90. Chapman and Hall, Boca Raton (1997)
5. Haugen, Ø.: Using MSC-92 effectively. In: 7th SDL Forum (SDL 1995), pp. 37–49. North-Holland, Amsterdam (1995)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献