Completeness and consistency checking of system requirements: An expert agent approach
暂无分享,去创建一个
[1] Shaoying Liu,et al. Internal consistency of FRSM specifications , 1995, J. Syst. Softw..
[2] Pattie Maes,et al. Collaborative Interface Agents , 1994, AAAI.
[3] Pattie Maes,et al. Evolving agents for personalized information filtering , 1993, Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications.
[4] Matthias Jarke,et al. Telos: representing knowledge about information systems , 1990, TOIS.
[5] Richard C. Waters,et al. The Requirements Apprentice: Automated Assistance for Requirements Acquisition , 1991, IEEE Trans. Software Eng..
[6] Vangalur S. Alagar,et al. (In)completeness in specifications , 1994, Inf. Softw. Technol..
[7] Alan M. Davis,et al. Giving voice to requirements engineering , 1994, IEEE Software.
[8] Alexander Kott,et al. Representation and Management of Requirements: The RAPID-WS Project , 1995 .
[9] Janet L. Kolodner,et al. Case-Based Reasoning , 1989, IJCAI 1989.
[10] Frederick P. Brooks,et al. No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .
[11] Francis J. Hale. Introduction to Aircraft Performance, Selection, and Design , 1984 .
[12] Douglas R. Smith,et al. KIDS: A Semiautomatic Program Development System , 1990, IEEE Trans. Software Eng..
[13] Shaoying Liu. A formal requirements specification method based on data flow analysis , 1993, J. Syst. Softw..
[14] S. Joy Mountford,et al. The Art of Human-Computer Interface Design , 1990 .
[15] Pattie Maes,et al. Intelligent software , 1997, IUI '97.
[16] Barry W. Boehm,et al. Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.
[17] John Mylopoulos,et al. Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.
[18] Pattie Maes,et al. Artificial life meets entertainment: lifelike autonomous agents , 1995, CACM.
[19] Won Kim,et al. Introduction to Object-Oriented Databases , 1991, Computer systems.
[20] Allen Goldberg,et al. A mechanical verifier for supporting the design of reliable reactive systems , 1991, Proceedings. 1991 International Symposium on Software Reliability Engineering.
[21] Peretz Shoval,et al. Specification and Design of Transactions in Information Systems: A Formal Approach , 1991, IEEE Trans. Software Eng..
[22] R.K. Jullig,et al. Applying formal software synthesis , 1993, IEEE Software.
[23] Pattie Maes,et al. Agents that reduce work and information overload , 1994, CACM.
[24] R. B. Rowen,et al. Software project management under incomplete and ambiguous specifications , 1990 .
[25] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[26] Jack D. Mattingly,et al. Aircraft engine design , 1987 .
[27] Chris Gane,et al. Structured Systems Analysis: Tools and Techniques , 1977 .
[28] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[29] Ben Shneiderman,et al. Direct Manipulation: A Step Beyond Programming Languages , 1983, Computer.