Architectural patterns for problem frames

IEE Proceedings: Software

Volumn 152, Issue 4, 2005, Pages 198-208

  Choppy, C ^a   Hatebur, D ^b,c   Heisel, M ^b  

^a UNIVERSITÉ PARIS 13   (France)

^b UNIVERSITY OF DUISBURG ESSEN   (Germany)

^c Institut für Technische Systeme GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; PROBLEM SOLVING; REQUIREMENTS ENGINEERING;

MULTI-FRAME PROBLEMS; PROBLEM FRAMES; SOFTWARE ARCHITECTURE;

SOFTWARE ENGINEERING;

EID: 24344499838     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20045061     Document Type: Article

References (25)

1. Gamma, E., Helm, R., Johnson, R., and Vlissides, J.: 'Design patterns elements of reusable object-oriented software' (Addison Wesley, Reading, 1995)
2. Jackson, M.: 'Problem frames. Analyzing and structuring software development problems' (Addison-Wesley, 2001)
3. Bass, L., Clements, P., and Kazman, R.: 'Software architecture in practice' (Addison-Wesley, 1998)
4. Shaw, M., and Garlan, D.: 'Software architecture. Perspectives on an emerging discipline' (Prentice-Hall, 1996)
5. Fayad, M.E., and Johnson, R.E.: 'Domain-specific application frameworks' (John Wiley and Sons, 1999)
6. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., and Stal, M.: 'Pattern-oriented software architecture: a system of patterns' (John Wiley & Sons, 1996)
7. Fowler, M.: 'Analysis patterns: reusable object models' (Addison Wesley, 1997)
8. Sutcliffe, A.: 'The domain theory, patterns for knowledge and software reuse' (Addison Wesley, 2002)
9. Sutcliffe, A., and Maiden, N.: 'The domain theory for requirements engineering', IEEE Trans. Softw. Eng., 1998, 24, (3), pp. 174-196
10. Jackson, M.: 'Software requirements & specifications: a lexicon of practice, principles and prejudices' (Addison-Wesley, 1995)
11. UML Revision Task Force:'OMG UML Specification', http://www.uml. org
12. Heisel, M., and Hatebur, D.: 'A model-based development process for embedded systems', in Klein, T., Rumpe, B., and Schätz, B., (Eds.): Proc. Workshop on Model-Based Development of Embedded Systems number TUBS-SSE-2005-01. Technical University of Braunschweig, 2005
13. Choppy, C., and Reggio, G.: 'Using CASL to specify the requirements and the design: a problem specific approach', in Bert, D., Choppy, C., and Mosses, P.D., (Eds.): Recent trends in algebraic development techniques, 14th WADT, Selected Papers, Springer Verlag, 2000, LNCS 1827, A complete version is available at ftp://ftp.disi.unige.it/ person/ReggioG/ChoppyReggio99a.ps, pp. 104-123
14. Choppy, C., and Heisel, M.: 'Use of patterns in formal development: systematic transition from problems to architectural designs', in Wirsing, M., Hennicker, R., and Pattinson, D. (Eds.): Recent trends in algebraic development techniques, 16th WADT, Selected Papers, 2003,
15. Led. Notes Comput. Sci., Vol. 2755, pp. 205-220
16. Choppy, C., and Heisel, M.: 'Une approache à base de "patrons" pour la spécification et le développement de systèmes d'information'. Proc. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL, 2004, pp. 61-76
17. Hall, J.G., Jackson, M., Laney, R.C., Nuseibeh, B., and Rapanotti, L.: 'Relating software requirements and architectures using problem frames'. Proc. IEEE Int. Requirements Engineering Conf. (RE), Essen, Germany, 9-13 Sept. 2002
18. Rapanotti, L., Hall, J.G., Jackson, M., and Nuseibeh, B.: 'Architecture driven problem decomposition'. Proc. 12th IEEE Int. Requirements Engineering Conf. (RE), Kyoto, Japan, 6-10 September 2004
19. Lavazza, L., and Bianco, V.D.: 'A UML-based approach for representing problem frames', in Cox, K., Hall, J., and Rapanotti, L., (Eds.): Proc. 1st Int. Workshop on Advances and Applications of Problem Frames (IWAAPF), IEE Press, 2004
20. Cheesman, J., and Daniels, J.: 'UML components - a simple process for specifying component-based software' (Addison-Wesley, 2001)
21. Tanenbaum, A.S.: 'Modern operating systems' (Prentice Hall, 1992)
22. Parnas, D.L., and Madey, J.: 'Functional documents for computer systems', Sci. Comput. Program., 1995, 25, pp. 41-61
23. Bharadwaj, R., and Heitmeyer, C.: 'Hardware/software co-design and co-validation using the SCR method'. Proc. IEEE Int. High-Level Design Validation and Test Workshop (HLDV), 1999
24. Shelton, C.P., and Koopman, P.: 'Developing a software architecture for graceful degradation in an elevator control system'. Proc. Workshop on Reliability in Embedded Systems, 2001
25. Hammond, J., Rawlings, R., and Hall, A.: 'Will it work?'. Proc. 5th IEEE Int. Requirements Engineering Conf. (RE), Toronto, Ont., Canada, 27-31 Aug. 2001