A methodology for scenario-based requirements capture
暂无分享,去创建一个
[1] Bernd Finkbeiner,et al. Using Message Sequence Charts for Component-Based Formal Verification , 2001 .
[2] Ingolf Krüger,et al. Service specification with MSCs and roles , 2004, IASTED Conf. on Software Engineering.
[3] David Harel,et al. LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..
[4] INGOLF KRÜGER,et al. From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT , 2002, Int. J. Softw. Eng. Knowl. Eng..
[5] Rajeev Alur,et al. Inference of message sequence charts , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[6] Jon Whittle,et al. From scenarios to code: An air traffic control case study , 2004, Software & Systems Modeling.
[7] Ingolf Krüger,et al. Distributed system design with message sequence charts , 2000 .