Requirement specification acquisition of communications services

IEICE Transactions on Information and Systems

Volumn E79-D, Issue 12, 1996, Pages 1716-1725

  Takura, Akira ^a   Ueda, Yoshihiro ^a,b,c   Haizuka, Tsuneki ^d   Ohta, Tadashi ^a  

^a ADVANCED TELECOMMUNICATIONS RESEARCH INSTITUTE INTERNATIONAL   (Japan)

^b NTT CORPORATION   (Japan)

^c OKI ELECTRIC INDUSTRY CO   (Japan)

^d SOKA UNIVERSITY   (Japan)

Author keywords

Artificial intelligence and cognitive science; Hypothesis based reasoning; Reachability analysis; Requirements understanding; Specification acquisition

Indexed keywords

HYPOTHESIS BASED REASONING; REACHABILITY ANALYSIS; REQUIREMENT SPECIFICATION ACQUISITION METHOD;

ARTIFICIAL INTELLIGENCE; COGNITIVE SYSTEMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; TELECOMMUNICATION SERVICES;

SOFTWARE ENGINEERING;

EID: 0030378167     PISSN: 09168532     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Y. Hirakawa and T. Takenaka, Telecommunication service description using state transition rules, Proc. Sixth Int. Workshop on Software Specification and Design, pp. 140-147, Oct. 1991.
2. H.B. Reubenstein and R.C. Waters, The requirements apprentice: Automated assistance for requirements acquisition, IEEE Trans. Software Eng., vol.SE-17, no.3, March 1991.
3. J.J.P. Tsai, T. Weigert, and H.-C. Jang, A hybrid knowledge representation as a basis of requirement specification and specification analysis, IEEE Trans. Software Eng., vol.18, no.12, pp.1076-1100, Dec. 1992.
4. A. Takura and T. Ohta, Two-layered communications service specification description and program specification generation, Trans. IPS Japan, vol.35, no.5, pp.1104-1113, May 1995.
5. M. Jarke, J. Bubenko, C. Rolland, A. Sutcliffe, and Y. Vassilou, Theories underlying requirements engineering: An overview of NATURE at genesis, IEEE Int. Symp. on Requirements Engineering, pp.19-31, Jan. 1992.
6. M. Nakamura, A. Takura, and T. Ohta, A method for requirements elicitation using a domain model, Proc. of the 1994 Tutorial and Workshop on Systems Engineering of Computer-Based Systems, May 1994.
7. P.P. Puncello, P. Torrigiani, F. Pietri, R. Burion, B. Cardile, and M. Conti, ASPIS: A knowledge-based CASE environment, IEEE Software, pp.58-65, March 1988.
8. V.E. Kelly and U. Nonnenmann, Reducing the complexity of formal specification acquisition, Automating Software Design, ed. M.R. Lowry and R.D. McCartney, pp.41-64, AAAI Press, 1991.
9. T. Ohta, K. Takami, and A. Takura, Acquisition of service specifications in two stages and detection/resolution of feature interactions, The Fourth Telecommunications Information Networking Architecture Workshop, vol.2, pp.11-173-11-187, Sept. 1993.
10. K. Takami, Y. Harada, T. Ohta, and N. Terashima, A visual design support system for telecommunications service, IEEE Phoenix Conf. Computers and Communications, pp.593-599, March 1993.