Telecommunications service development: A design methodology and its intelligent support

Engineering Applications of Artificial Intelligence

Volumn 10, Issue 6, 1997, Pages 647-663

  Eberlein, Armin P G ^a   Halsall, Fred ^a  

^a SWANSEA UNIVERSITY   (United Kingdom)

Author keywords

Design methodologies; Expert systems; Formal methods; Requirements engineering; Service design; Telecommunications

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; EXPERT SYSTEMS; SOFTWARE ENGINEERING;

DESIGN METHODOLOGIES; FORMAL METHODS; REQUIREMENTS ENGINEERING;

TELECOMMUNICATION SERVICES;

EID: 0031376123     PISSN: 09521976     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0952-1976(97)00024-9     Document Type: Article

References (37)

1. Balzer, R., Goldman, N. and Wile, D. (1978) Informality in program specifications. IEEE Trans. Software Engineering, 4(2), 94-103.
2. Bellinzona, R., Fugini, M. G. and Demey, V. (1993) Reuse of specifications and designs in a development information system. IFlP Trans. A - Computer Science and Technology, 30, 79-96.
3. Boehm, B. W. (1984) Verifying and validating software requirements and design specifications. IEEE Software, 1(1), 75-88.
4. Booch, G. (1994) Object-Oriented Analysis and Design with Applications. Benjamin/Cummings Publications.
5. Boullier, L., Kelly, B., Phalippou, M., Rouger, A. and Webster, N. (1994) Evaluation of some test generation tools on a real protocol example. In Proc. 7th Int. Workshop on Protocol Test Systems.
6. Bouma, L. G. and Velthuijsen, H. (1994) Feature Interactions in Telecommunications Systems. IOS Press, Amsterdam, The Netherlands.
7. Bubenko, J. A. (1995) Challenges in requirements engineering. In Proc. 2nd IEEE Int. Symposium On Requirements Engineering, York, U.K.
8. Chung, L. (1993) Representing and using non-functional requirements: A process-oriented approach. Ph.D. Thesis, University of Toronto, DKBS-TR-93-1.
9. Chung, L., Nixon, B. and Yu, E. (1995) Using non-functional requirements to systematically select among alternatives in architectural design. In Proc. 17th Int. Conf. on Software Engineering (ICSE-17), Workshop on Architectures for Software Systems, Seattle, Washington.
10. Coleman, D. (1994) Object-Oriented Development - The Fusion Method. Prentice Hall.
11. Cookson, M. D. and Woodsford, S. G. (1993) Design methodology using SDL. BT Technology Journal, 11(4), 16-24.
12. Crowther, M. (1993) Modelling and validation of telephony network signalling. In Proc. SDL Forum.
13. Dardenne, A. (1993) On the use of scenarios in requirements acquisition. University of Oregon, Technical Report CIS-TR-93-17.
14. Dardenne, A., Fickas, S. and van Lamsweerde, A. (1993) Goal-directed requirements acquisition. Science of Computer Programming, 20, 3-50.
15. Davis, A. M. (1993) Software Requirements - Objects, Functions and States. Prentice Hall.
16. English, E. (1995) Industry trends. IEEE Computer, 28(8), 14
17. Finkelstein, A., Gabbay, D., Hunter, A., Kramer, J. and Nuseibeh, B. (1994) Inconsistency handling in multi-perspective specifications. IEEE Trans. Software Engineering, 20(8), 569-578.
18. Gotel, O. and Finkelstein, A. (1994) An analysis of the requirements traceability problem. In Proc. 1st Int. Conf. on Requirements Engineering, Colorado Springs.
19. Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y. and Chen, C. (1994) Formal approach to scenario analysis. IEEE Software, 11(2), 33-41.
20. ITU-T Recommendation Z. 100 (1994) CCITT Specification and Description Language (SDL).
21. Jacobson, I. (1993) Object-Oriented Software Engineering - A Use Case driven Approach. Addison-Wesley.
22. Jarke, M., Eherer, S., Gallersdörfer, R., Jeusfeld, M. and Staudt, M. (1993) ConceptBase - A Deductive Object Base Manager. University of Aachen, Germany.
23. Jarke, M., Jeusfeld, M. and Staudt, M. (1996) ConceptBase V4.1 User Manual, http://www.i5.informatik.rwth-aachen.de/CBdoc/userManual/.
24. Kelly, B., Crowther, M., King, J., Masson, R. and DeLapeyre, J. (1995) Service validation and testing. In Proc. Feature Interactions in Telecommunications Systems, KYOTO'95.
25. Lubars, M., Potts, C. and Richter, C. (1993) A review of the state of the practice in requirements modelling. In Proc. 1st Int. Symposium on Requirements Engineering, San Diego, CA.
26. Mylopoulos, J., Borgida, A., Jarke, M. and Koubarakis, M. (1990) Telos: A language for representing knowledge about information systems. ACM Trans. Information Systems, 8(4), 325-362.
27. Mylopoulos, J., Chung, L. and Nixon, B. (1992) Representing and using nonfunctional requirements: A process-oriented approach. IEEE Trans. Software Engineering, 28(6), 483-497.
28. Pohl, K. (1994) The three dimensions of requirements engineering - A framework and its applications. Information Systems, 19(3), 243-258.
29. Q. 12xx, Q-Series of ITU-T Recommendations on Intelligent Networks.
30. Rauterberg, M. and Strohm, O. (1994) About the benefits of user-oriented requirements engineering. In Proc. 1st Int. Workshop on Requirements Engineering: Foundation of Software Quality, Utrecht, The Nether-lands.
31. Reed, R., Bouma, W., Marques, M. M. and Evans, J. (1992) Methods for service software design. In Proc. 8th Int. Conf. on Software Engineering for Telecommunication Systems and Services, pp. 127-134, Florence, Italy.
32. Regnell, B., Kimbler, K. and Wesslén, A. (1995) Improving the use case driven approach to requirements engineering. In Proc. 2nd IEEE Int. Symposium on Requirements Engineering, York, U.K.
33. Regnell, B., Andersson, M. and Bergstrand, J. (1996) A hierarchical use case model with graphical representation. In Proc. IEEE Int. Symposium and Workshop on Engineering of Computer-Based Systems, Friedrich-shafen, Germany.
34. Robinson, W. N. (1990) Negotiation behaviour during requirements specification. In Proc. 12th IEEE Int. Conf. on Software Engineering, Nice, France.
35. Rumbaugh, J. (1991) Object-Oriented Modelling and Design. Prentice Hall.
36. Selic, B., Gullekson, G. and Ward, P. (1994) Real-time Object-Oriented Modeling. John Wiley & Sons.
37. Testing Techniques Newsletter (1997) Software Research, Inc., 625 Third Street, San Francisco, CA 94107-1997, U.S.A., ttn@soft.com,http:/ /www.soft.com.