J.-P. Gibson, G. Hamilton, and D. Mery. Integration problems in telephone feature requirements. In A. Galloway and K. Taguchi, editors, IFM'99 Integrated Formal Methods 1999, Workshop In Computing Science, YORK, June 1999. Springer Verlag.  Home/Search   Document Details and Download   Summary   Related Articles

.... mainly based on an architectural approach founded on LOTOS; the state based approach for defining and detecting feature interactions [25,33,17] the relational approach for defining and detecting feature interactions [16] and the logical approach for defining and detecting feature interactions [6,18,5] are closely related; finally, the rchitecture oriented approach [20] intends to develop a framework for composing feature with respect to a given architecture but it is not clearly based on mathematical model. 68 Dominique Cansell and Dominique Mery The paper is structured as follows. Section 2 ....

J.-P. Gibson, G. Hamilton, and D. Mery. Integration problems in telephone feature requirements. In A. Galloway and K. Taguchi, editors, IFM'99 Integrated Formal Methods 1999, Workshop In Computing Science, YORK, June 1999. Springer Verlag.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC