Author:
Laleau Régine,Semmak Farida,Matoussi Abderrahman,Petit Dorian,Hammad Ahmed,Tatibouet Bruno
Publisher
Springer Science and Business Media LLC
Reference25 articles.
1. Abrial JR (1996) The B-Book: assigning programs to meanings. Cambridge University Press, Cambridge
2. Anton AI (1996) Goal based requirements analysis. In: Proceedings of international conference on requirements engineering (ICRE96), pp 136–144
3. Aziz B, Arenas A, Bicarregui J, Ponsard C, Massonet P (2009) From goal-oriented requirements to are Event-B specifications. In: First Nasa formal method symposium (NFM 2009), Moffett Field, California, USA
4. Badeau F, Amelot A (2005) Using B as a high level programming language in an industrial project: Roissy val. In: Proceedings of ZB’05. LNCS, vol 3455. Springer, Berlin, pp 334–354
5. Behm P, Benoit P, Faivre A, Meynadier JM (1999) METEOR : a successful application of B in a large project. In: Proceedings of FM ’99. LNCS, vol 1708. Springer, Berlin, pp 369–387
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献