Publication: IEICE TRANSACTIONS on Communications Publication Date: 2004/07/01 Vol. E87-BNo. 7pp. 1910-1917 Type of Manuscript: Special Section PAPER (Special Section on Next Generation Networks Software) Category: Software Development Environment Keyword: feature interaction, specification validation, 3-way interactions, detection system,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2002/04/01 Vol. E85-DNo. 4pp. 607-614 Type of Manuscript: Special Section PAPER (Special Issue on Knowledge-Based Software Engineering) Category: Specification Keyword: feature interaction, non-determinacy, service specification, reachability, knowledge,
Publication: IEICE TRANSACTIONS on Communications Publication Date: 2001/12/01 Vol. E84-BNo. 12pp. 3189-3197 Type of Manuscript: Special Section PAPER (Special Issue on Network Software) Category: Mobile Service and Technologies Keyword: Active Networks, VoIP gateway, declarative language, interpreter,
Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services Tae YONEDATadashi OHTA
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2000/04/25 Vol. E83-DNo. 4pp. 640-647 Type of Manuscript: Special Section PAPER (Special Issue on Knowledge-Based Software Engineering) Category: Theory and Methodology Keyword: knowledge elicitation, state transition, specification verification, feature interaction,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1998/04/25 Vol. E81-ANo. 4pp. 635-638 Type of Manuscript: Special Section LETTER (Special Section on Concurrent Systems Technology) Category: Keyword: telecommunication service, feature interactions, formal definition,