The Feature Interaction Problem in the IN: In search of a global solution
暂无分享,去创建一个
[1] Leslie Lamport,et al. The temporal logic of actions , 1994, TOPL.
[2] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[3] Yow-Jian Lin,et al. A feature-interaction benchmark for IN and beyond , 1993, IEEE Communications Magazine.
[4] Nancy D. Griffeth,et al. The negotiating agents approach to runtime feature interaction resolution , 1994, FIW.
[5] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.
[6] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[7] Nancy D. Griffeth,et al. Reasoning about goals to resolve conflicts , 1993, [1993] Proceedings International Conference on Intelligent and Cooperative Information Systems.
[8] Simon Pickin,et al. Formalisation of a user view of network and services for feature interaction detection , 1994, FIW.
[9] R. Janmaat,et al. Service interaction in an object-oriented environment , 1993, IEEE Communications Magazine.
[10] Jr. Brooks F.P.. No Silver Bullet Essence and Accidents of Software Engineering , 1987 .
[11] G. Herman,et al. The feature interaction problem in telecommunications systems , 1989 .
[12] W. Webb. Advanced telecommunications services , 1994 .
[13] Kristofer Kimbler,et al. Use case driven analysis of feature interactions , 1994, FIW.
[14] Douglas D. Dankel,et al. An architecture for defining features and exploring interactions , 1994, FIW.
[15] 守屋 悦朗,et al. J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .
[16] Frederick P. Brooks,et al. No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .
[17] Jens E. Kristensen,et al. Interaction detection, a logical approach , 1994, FIW.
[18] Dennis Shasha,et al. The many faces of consensus in distributed systems , 1992, Computer.
[19] M. Cain,et al. Managing run-time interactions between call-processing features (intelligent networks) , 1992, IEEE Communications Magazine.
[20] Rob van der Linden,et al. Using an architecture to help beat feature interaction , 1994, FIW.
[21] Gita Gopal,et al. Touring machine: a software infrastructure to support multimedia communications , 1992, CCRV.
[22] H. Velthuijsen,et al. Feature interactions in telecommunications systems , 1993, IEEE Communications Magazine.
[23] Bengt Jonsson,et al. Using temporal logic for modular specification of telephone services , 1994, FIW.
[24] Kristofer Kimbler,et al. Feature interactions among Pan-European services , 1994, FIW.
[25] Luigi Logrippo,et al. Specifying features and analysing their interactions in a LOTOS environment , 1994, FIW.
[26] Fergus O'Brien,et al. Restructuring the problem of feature interaction: Has the approach been validated? Experience with an advanced telecommunications application for personal mobility , 1994, FIW.
[27] Tadashi Ohta,et al. Classification, detection and resolution of service interactions in telecommunication services , 1994, FIW.
[28] Harlan D. Mills,et al. Cleanroom Software Engineering , 1987, IEEE Software.
[29] Kong Eng Cheng. Towards a formal model for incremental service specification and interaction management support , 1994, FIW.
[30] Yow-Jian Lin,et al. A real-time transition model for analyzing behavioral compatibility of telecommunications services , 1991 .
[31] Martin D. Chapman,et al. The RACE Open Services Architecture Project , 1992, IBM Syst. J..