Information Technology Reference
In-Depth Information
References
1. Abrial, J.R.: The B-Book: Assigning programs to meanings. CUP (1996)
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. CUP (2010)
3. Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap. In: 22nd
ACM International Conference on Software Engineering, Future of Software Engi-
neering Track, Limerick, Ireland, pp. 35-46 (2000)
4. van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Mod-
els to Software Specifications. Wiley, Chichester (2009)
5. Behm, P., Benoit, P., Faivre, A., Meynadier, J.-M.: METEOR: A successful appli-
cation of B in a large project. In: Woodcock, J.C.P., Davies, J. (eds.) FM 1999.
LNCS, vol. 1708, pp. 369-387. Springer, Heidelberg (1999)
6. Badeau, F., Amelot, A.: Using B as a high level programming language in
an industrial project: Roissy val. In: Treharne, H., King, S.,. Henson, M.C.,
Schneider, S. (eds.) Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 334-354.
Springer, Heidelberg (2005)
7. RODIN - Rigorous Open Development Environment for Complex Systems,
http://rodin.cs.ncl.ac.uk/
8. TOPCASED,
http://www.topcased.org/
9. Hassan, R., Bohner, S., El-Kassas, S., Eltoweissy, M.: Goal-Oriented, B-Based For-
mal Derivation of Security Design Specifications from Security Requirements. In:
ARES 2008, Spain, pp. 1443-1450. IEEE Computer Society Press, Los Alamitos
(2008)
10. Matoussi, A., Gervais, F., Laleau, R.: An Event-B formalization of KAOS goal re-
finement patterns. Technical Report TR-LACL-2010-1, LACL, University of Paris-
Est (2010),
http://lacl.univ-paris12.fr/Rapports/TR/TR-LACL-2010-1.pdf
11. TACOS Project. ANR-06-SETIN-017,
http://tacos.loria.fr
12. Nakagawa, H., Taguchi, K., Honiden, S.: Formal Specification Generator for KAOS.
In: ASE 2007, Atlanta, USA, pp. 531-532. ACM, New York (2007)
13. Ponsard, C., Dieul, E.: From Requirements Models to Formal Specifications in B.
In: REMO2V 2006, Luxembourg (June 2006)
14. Leuschel,M.,Butler,M.J.:ProB:AModelCheckerforB.In:Araki,K.,Gnesi,S.,
Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855-874. Springer, Heidelberg
(2003)
15. Aziz, B., Arenas, A., Bicarregui, J., Ponsard, C., Massonet, P.: From Goal-Oriented
Requirements to Event-B Specifications. In: First Nasa Formal Method Symposium
(NFM 2009), Moffett Field, California, USA ( April 2009)
16. Mashkoor, A., Matoussi, A.: Towards Validation of Requirements Models. In:
Frappier, M., Glasser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010.
LNCS, vol. 5977, p. 404. Springer, Heidelberg (2010)
17. Hallberg, J., Nilsson, M., Synnes, K.: Positioning with bluetooth. In: 10th Int.
Conference on Telecommunications (ICT 2003), pp. 954-958 (2003)
18. Royo, J.A., Mena, E., Gallego, L.C.: Locating Users to Develop Location-Based
Services in Wireless Local Area Networks. In: UCAmI 2005, Granada, Spain, pp.
471-478 (2005)
19. Yu, E.: Towards Modeling and Reasoning Support for Early-Phase Requirements
Engineering. In: RE 1997, pp. 226-235. IEEE Computer Society, Los Alamitos
(1997)
Search WWH ::
Custom Search