论文信息 - An experiment in feature engineering

An experiment in feature engineering

Feature-oriented specifications must be constructed, validated, and verified differently from other specifications. This paper presents a feature-oriented specification technique and a formal method applicable to some of its specifications. The method is applied to an example specification, and the results are evaluated.

Pamela Zave | P. Zave

[1] Gerard J. Holzmann,et al. Design and Validation of Protocols: A Tutorial , 1993, Comput. Networks ISDN Syst..

[2] Martín Abadi,et al. Composing specifications , 1989, TOPL.

[3] Raouf Boutaba,et al. Feature interactions in telecommunication networks IV , 1997 .

[4] Pamela Zave. Systematic Design of Call-Coverage Features , 1998, AMAST.

[5] Michael Jackson,et al. Distributed Feature Composition: A Virtual Architecture for Telecommunications Services , 1998, IEEE Trans. Software Eng..

[6] Hugo Velthuijsen,et al. Issues of Non-Monotonicity in Feature-Interaction Detection , 1995, FIW.

[7] Mark Dermot Ryan,et al. Feature Interactions in Telecommunications and Software Systems VIII, ICFI'05, 28-30 June 2005, Leicester, UK , 2005, FIW.

[8] H. Velthuijsen,et al. Feature interactions in telecommunications systems , 1993, IEEE Communications Magazine.