Author:
Haugen Øystein,Stølen Ketil
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems 17, 507–533 (1995)
2. Broy, M., Stølen, K.: Specification and development of interactive systems: Focus on streams, interfaces and refinement. Springer, Heidelberg (2001)
3. 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: Proc. 7th SDL Forum (SDL 1995), pp. 243–256. North-Holland, Amsterdam (1995)
4. Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. In: Proc. Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. 293–311. Kluwer, Dordrecht (1999)
5. Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play in/playout approach. To appear in Software and System Modeling (2003)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献