Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2022/10/01 Vol. E105-DNo. 10 ;
pp. 1665-1677 Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches) Category: Keyword: formal specification, reactive systems, specification verification, realizability,
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. 4 ;
pp. 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 Communications Publication Date: 1992/10/25 Vol. E75-BNo. 10 ;
pp. 978-985 Type of Manuscript: Special Section PAPER (Special Issue on Communication Software Technologies) Category: Keyword: specification description, specification verification,