Keyword : specification verification


Automatic Elicitation of Knowledge for Detecting Feature Interactions in Telecommunication Services
Tae YONEDA Tadashi OHTA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/04/25
Vol. E83-D  No. 4 ; pp. 640-647
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Theory and Methodology
Keyword: 
knowledge elicitationstate transitionspecification verificationfeature interaction
 Summary | Full Text:PDF(351.8KB)

A Verification Scheme for Service Specifications Described by Information Sequence Charts
Mitsuhiro OKAMOTO Yoshihiro NIITSU 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 978-985
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
specification descriptionspecification verification
 Summary | Full Text:PDF(587KB)