Aligning the map requirements modelling with the B-method for formal software development

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2007, Pages 17-24

  Babar, Abdul ^a,b   Tosic, Vladimir ^a,b,c   Potter, John ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b CSIRO   (Australia)

^c UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BRIDGES; COMPUTER NETWORKS; COMPUTER SOFTWARE; FISCHER-TROPSCH SYNTHESIS; GALLIUM ALLOYS; GRAPHIC METHODS; MAPS; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING; SPECIFICATIONS; TECHNOLOGY;

ASIA PACIFIC; AUTOMATIC REFINEMENT; B-METHOD; FORMAL SOFTWARE DEVELOPMENT; FORMAL SPECIFICATIONS; JACKSON; MODELING TECHNIQUES; POINT OF SALE (POS); REQUIREMENTS ELICITATION; REQUIREMENTS MODELING; SOFTWARE CODING; SOFTWARE DEVELOPMENT; SOFTWARE DEVELOPMENT APPROACH; SOFTWARE REQUIREMENTS; SOFTWARE SPECIFICATIONS; SPECIFICATION MODEL (SM); STRATEGIC REQUIREMENTS; TOOL SUPPORTS;

FORMAL METHODS;

EID: 44949210408     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2007.17     Document Type: Conference Paper

References (15)

1. J. D. McKeen and H. Smith, Making IT happen: critical issues in IT management. Chichester; Hoboken, NJ: Wiley, 2003.
2. M. Porter, "From Competitive Advantage to Corporate Strategy," Harvard Business Review, vol. 65, pp. 43-59, 1987.
3. A.-M. Croteau and F. Bergeron, "An Information Technology Trilogy: Business Strategy, Technological Deployment and Organizational Performance," Journal of Strategic Information Systems, vol. 10, pp. 77-99, 2001.
4. S. Bleistein, K. Cox, J. Verner (2006), "Validating Strategic Alignment of Organizational IT Requirements Using Goal Modeling and Problem Diagrams," Journal of Systems and Software, 79 (3), pp.362-378.
5. S. Nurcan, A. Etien, R. Kaabi, L. Zoukar & C. Rolland (2005) "A Strategy Driven Business Modelling Approach", Business Process Management Journal, Vol. 11, No. 6, pp. 628-649.
6. J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
7. A. Babar, K. Cox, S. Bleistein & J. Verner (2007) "Towards Evolution of Strategic IT Requirements", 22nd ACM Symposium on Applied Computing, Seoul, March 11-15, pp. 120-127.
8. A. Babar, K. Cox, S. Bleistein and J. Verner (2007), Identifying Domain Context for the Intentional Modelling Technique Map, 1st International Workshop on Enterprise Information Systems Engineering - WEISE 2007, Regensburg, Germany, 3-7 September 2007 (workshop held in conjunction with DEXA, proceedings published by IEEE) (accepted).
9. Snook, C., Poppleton, M. and Johnson, I. Towards a Method for Rigorous Development of Generic Requirements Patterns, Workshop on Rigorous Engineering of Fault Tolerant Systems, Newcastle, UK, Springer-Verlag, 2006, pp. 1727.
10. Atelier-B, FRANCE, http://www.atelierb.societe.com
11. Etien, A. Salinesi, C. (2005), "Managing Requirements in a Co-evolution Context", 13th IEEE Int. Conf on Requirements Engineering, Paris 29 Aug-2 Sept. pp. 125-134.
12. C. Rolland, C. Salinesi, and A. Etien (2004), "Eliciting Gaps in Requirements Change", Requirement Engineering Journal, Vol. 9, pp1-15.
13. M. Jackson, Problem Frames: Analyzing and Structuring Software Development Problem, 1st ed: Addison-Wesley Publishing Company, 2001.
14. M. Bensoau, Seven Eleven Japan: Managing a Networked Organisation, Insead Euro-Asia Centre, case study, 1997.
15. W.V. Rapp, Retailing: Ito-Yokado Seven Eleven Japan, in: Information Technology Strategies: How Leading Firms Use IT to Gain an Advantage, Oxford University Press, 2002, pp. 163-186.