Using courteous logic based representations for requirements specification
暂无分享,去创建一个
[1] Thomas Weigert,et al. HCLIE: a logic-based requirement language for new software engineering paradigms , 1991, Softw. Eng. J..
[2] T. H. Tse,et al. An Examination of Requirements Specification Languages , 1991, Comput. J..
[3] John Mylopoulos,et al. A requirements modeling language and its logic , 1986, Inf. Syst..
[4] Wei-Tek Tsai,et al. Are knowledge representations the answer to requirement analysis? , 1988, Proceedings. 1988 International Conference on Computer Languages.
[5] Donald Nute,et al. Defeasible Logic , 1994, INAP.
[6] Weifeng Zhang,et al. Description Logic Representation for Requirement Specification , 2007, International Conference on Computational Science.
[7] Benjamin N. Grosof. Representing e-commerce rules via situated courteous logic programs in RuleML , 2004, Electron. Commer. Res. Appl..
[8] John Mylopoulos,et al. Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.
[9] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..