Formal Definitions of Feature Interactions in Telecommunications Software(Special Section on Concurrent Systems Technology)

スポンサーリンク

概要

• 論文の詳細を見る

• Despite the fact that the necessity of FDT(formal description techniques)had been emphasized, many approaches to verifying feature interactions were insufficient. This paper proposes formal definitions for feature interactions which can occur when telecommunication services specified independently are operated in parallel. Seven types of feature interactions are defined formally.

• 社団法人電子情報通信学会の論文
• 1998-04-25

著者

• Ohta Tadashi

  The Author Is With The Faculty Of Engineering Soka University

• CRISTIAN Flaviu

  The author is with University of California

関連論文

• Automatic Code Generation Method of DEQSOL (Differential EQuation SOlver Language)
• Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services(Special Issue on Knowledge-Based Software Engineering)
• Formal Definitions of Feature Interactions in Telecommunications Software(Special Section on Concurrent Systems Technology)

スポンサーリンク