Author:
Guo Hai-Feng,Subramaniam Mahadevan
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Bartsch, K., Robey, M., Ivins, J., Lam, C.: Consistency checking between use case scenarios and uml sequence diagrams. In: IASTED Conference on Software Engineering, pp. 581–589 (2004)
2. Lecture Notes in Computer Science;Y. Bontemps,1995
3. Clarke, L.A.: A system to generate test data and symbolically execute programs. IEEE Transaction on Software Engineering 2, 215–222 (1976)
4. Damm, W., Harel, D.: Lscs: Breathing life into message sequence charts. In: Proceedings of 3rd IFIP Int. Conf. on Formal Methods for Open Object-based Distributed Systems, pp. 293–312 (1999)
5. Declarativa. Interprolog 2.1.2: a java front-end and enhancement for prolog (2010),
http://www.declarativa.com/interprolog