Towards feature-oriented specification and development with event-B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4542 LNCS, Issue , 2007, Pages 367-381

  Poppleton, Michael R ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE REUSABILITY;

FEATURE-ORIENTED CONSTRUCTION; SOFTWARE CONSTRUCTION;

SOFTWARE ENGINEERING;

EID: 38149092585     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73031-6_28     Document Type: Conference Paper

References (24)

1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R., Clear, Sy: Atelier-B (1998) http://www.atelierb.societe. com/ index_uk.htm
3. Abrial, J.-R., Hallerstede, S.: Refinement, decomposition and instantiation of discrete models: Application to Event-B. Fundamenta Informaticae, pp. 1001-1026 (2006) (in press)
4. Amyot, D., Logrippo, L. (eds.): Proceedings FIW '03, Seventh International Workshop on Feature Interactions in Telecommunication and Software Systems, Ottawa, Canada. IOS Press, Amsterdam (2003)
5. Antkiewicz, M., Czarnecki, K.: FeaturePlugin: feature modeling plug-in for Eclipse. In: Eclipse '04: Proceedings of the 2004 OOPSLA workshop on Eclipse technology eXchange, pp. 67-72. ACM Press, New York, USA (2004)
6. Back, R.J.R.: A calculus of refinements for program derivations. Acta. Informatica 25, 593-624 (1988)
7. Batory, D.: Feature models, grammars, and propositional formulas. In: SPLC05 (2005)
8. Butler, M., Leuschel, M.: Combining csp and b for specification and property verification. In: Fitzgerald, J., Hayes, I., Tarlecki, A. (eds.) Proc. Formal Methods 2005, Newcastle upon Tyne. LNCS, vol. 3582, pp. 221-236. Springer, Heidelberg (2005)
9. Cansell, D., Abrial, J.-R., et al.: B4free. A set of tools for B development (2004), from http://www.b4free.com
10. Coplien, J., Hoffman, D., Weiss, D.: Commonality and variability in software engineering. IEEE Software, pp. 37-45 (November/December 1998)
11. Czarnecki, K., Antkiewicz, A.: Mapping features to models: A template approach based on superimposed variants. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 422-437. Springer, Heidelberg (2005)
12. Gilmore, S., Ryan, M.: Language Constructs for Describing Features: Proceedings of the FIREworks Workshop. Proceedings of the FIREworks Workshop. Springer, Heidelberg (2001)
13. He, J., Hoare, C.A.R., Sanders, J.W.: Data refinement refined. In: Robinet, B., Wilhelm, R. (eds.) ESOP86: European Symposium on Programming. LNCS, vol. 213, Springer, Heidelberg (1986)
14. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International (1985)
15. Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-021, Software Engineering Institute, Carnegie-Mellon University (November 1990)
16. Lee, K., Kang, K.: Feature dependency analysis for product line component design. In: ICSR, pp. 69-85 (2004)
17. Leuschel, M., Butler, M.: ProB: An automated analysis toolset for the B method. Technical report, Electronics and Computer Science, University of Southampton (2006)
18. Lutz, R., Gannod, G.: Analysis of a software product line architecture: an experience report. Journal of Systems and Software 66, 253-267 (2003)
19. Macala, R., Stuckey, Jr. L., Gross, D.: Managing domain-specific, product-line development. IEEE Software, pp. 57-67 (May 1996)
20. Métayer, C., Abrial, J.-R., Voisin, L.: Event-B Language. Technical Report Deliverable 3.2, EU Project IST-511599 - RODIN (May 2005) http://rodin.cs.ncl.ac.uk
21. Reiff-Marganiec, S., Ryan, M.D. (eds.): Proceedings ICFI 2005: Feature Interactions in Telecommunications and Software Systems VIII, Leicester. IOS Press, Amsterdam (2005)
22. Snook, C., Poppleton, M., Johnson, I.: The engineering of generic requirements for failure management. In: Kamsties, E., Gervasi, V., Sawyer, P.(eds.) Proc. Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, pp. 145-160, Oporto, March 2005, Essener Informatik Beitraege ( 2005)
23. van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: Proc. RE'01 - International Joint Conference on Requirements Engineering, Toronto, August 2001, pp. 249-263, IEEE (2001)
24. Zhang, W., Zhao, H., Mei, H.: A propositional logic-based method for verification of feature models. In ICFEM2004. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 115-130. Springer, Heidelberg (2004)