Ajit S. (2008). Capture and maintenance of constraints in engineering design. PhD thesis, Department of Computing Science, University of Aberdeen, Aberdeen, UK.
Ajit S., Sleeman D., Fowler D.W., Knott D., & Hui K. (2005). Acquisition and maintenance of constraints in engineering design. Proc. 3rd Int. Conf. Knowledge Capture, KCAP 2005, pp. 173–174, Banff, Canada.
Ajit S., Sleeman D., & Knott D. (2007). Analysis of Design Rule Books of Part of the Rolls-Royce Domain, Technical Report. Department of Computing Science, University of Aberdeen, Aberdeen, UK.
Bahler D., & Bowen J. (1992). Design rationale management in concurrent engineering. Workshop on Design Rationale Capture and Use, 10th National Conf. Artificial Intelligence (AAAI-92)San Jose, CA.
Barker V.E., & O'Connor D.E. (1989). Expert systems for configuration at digital: XCON and beyond. Communications of the ACM 32 (3), 298–318.
Barnum C.M. (2002). Usability Testing and Research. Upper Saddle River, NJ: Allyn & Bacon.
Bassiliades N., & Gray P. (1995). CoLan: a functional constraint language and its implementation. Data & Knowledge Engineering 14 (3), 203–249.
Borning A., Maher M., Martindale A., & Wilson M. (1989). Constraint hierarchies and logic programming. Int. Conf. Logic Programming (ICLP), PP. 149–164, Lisbon, Portugal.
Bowen J., O'Grady P., & Smith L. (1990). A constraint programming language for life-cycle engineering. Artificial Intelligence in Engineering 5 (4), 206–220.
Bracewell R.H., & Wallace K.M. (2003). A tool for capturing design rationale. Proc. Int. Conf. Engineering Design (ICED 03)Stockholm.
Brown D.C. (2006). Assumptions in design and design rationale. Design Rationale Workshop, DCC’06, Eindhoven, The Netherlands.
Bultman A., Kuipers J., & Harmelen F.V. (2000). Maintenance of KBS's by domain experts: the Holy Grail in practice. Thirteenth Int. Conf. Industrial & Engineering Applications of Artificial Intelligence & Expert Systems IEA/AIE′00.
Burge J., & Brown D.C. (2003). Rationale support for maintenance of large scale systems. Workshop on Evolution of Large-Scale Industrial Software Applications (ELISA), ICSM ‘03, Amsterdam.
Coenen F.P. (1992). A methodology for the maintenance of knowledge based systems. EXPERSYS-92 (Proc.), IITT-Int. (Niku-Lari A., Ed.), pp. 171–176.
Dumas J.S., & Redish J.C. (1999). A Practical Guide to Usability Testing. Bristol: Intellect Books.
Eden M. (1998). The Magnificient Book of Kites: Explorations in Design, Construction, Enjoyment and Flight. New York: Black Dog & Levanthal Publishers.
Eriksson H., Puerta A., Gennari J., Rothenfluh T., Tu S., & Musen M. (1995). Custom-tailored development tools for knowledge-based systems. Proc. Ninth Banff Knowledge Acquisition for Knowledge-Based Systems WorkshopBanff, Canada.
Felfernig A., Friedrich G., Jannach D., & Stumptner M. (2004). Consistency-based diagnosis of configuration knowledge bases. Artificial Intelligence 152, 213–234.
Fletcher D., & Gu P. (2005). Adaptable design for design reuse. Second CDEN Int. Conf. Design Education, Innovation, and Practice.
Fowler D.W., Sleeman D., Wills G., Lyon T., & Knott D. (2004). Designers’ Workbench. Proc. 24th SGAI Int. Conf. Innovative Techniques and Applications of Artificial Intelligence, pp. 209–221, Cambridge.
Frayman F., & Mittal S. (1987). COSSACK: a constraints-based expert system for configuration tasks. Knowledge Based Expert Systems in Engineering: Planning and Design (Sriram D., & Adey R.A., Eds.), pp. 143–166. Southampton: Computational Mechanics Publications.
Goonetillake J.S., & Wikramanayake G.N. (2004). Management of evolving constraints in a computerised engineering design environment. Proc. 23rd National IT Conf.Colombo, Sri Lanka.
Gray P., Hui K., & Preece A. (2001). An expressive constraint language for semantic web applications. E-Business and the Intelligent Web: Papers From the IJCAI-01 Workshop, pp. 46–53, Seattle, WA.
Gray P., & Kemp G. (2006). Capturing quantified constraints in FOL, through interaction with a relationship graph. 15th Int. Conf. Knowledge Engineering and Knowledge Management (EKAW 2006)Podebrady, Czech Republic.
Gruber T.R. (1995). Towards principles for the design of ontologies used for for knowledge sharing. International Journal of Human–Computer Studies 43 (5–6), 907–928.
Grudin J. (1996). Evaluating opportunities for design rationale capture. In Design Rationale: Concepts, Techniques, and Use (Carroll J.M., Ed.). Mahwah, NJ: Erlbaum.
Harary F. (1962). A graph theoretic approach to matrix inversion by partitioning. Numerische Mathematik 4, 128–135.
Hicks R.C. (2003). Knowledge base management systems—tools for creating verified intelligent systems. Knowledge-Based Systems 16, 165–171.
Hooey B.L., & Foyle D.C. (2007). Requirements for a design rationale capture tool to support NASA's complex systems. In Int. Workshop on Managing Knowledge for Space MissionsPasadena, CA.
Junker U. (2001). Quickxplain: conflict detection for arbitrary constraint propagation algorithms. IJCAI'01 Workshop on Modelling and Solving Problems with Constraints (CONS-1)Seattle, WA.
Junker U., & Mailharro D. (2003). The logic of ilog(j) configurator: combining constraint programming with a description logic. Proc. IJCAI’03 Workshop on ConfigurationAcapulco, Mexico.
Lin L., & Chen L.C. (2002). Constraints modelling in product design. Journal of Engineering Design 13 (3), 205–214.
McGuinness D.L., & Harmelen F.v. (2004). OWL Web Ontology Language overview, W3C recommendation February 10, 2004. Accessed at http://www.w3.org/TR/owl-features/ on August 29, 2006.
McKenzie C., Gray P., & Preece A. (2004). Extending SWRL to express fully-quantified constraints. Workshop on Rules and Rule Markup Languages for the Semantic Web (RuleML 2004), Int. Semantic Web Conf., pp. 139–154, Hiroshima, Japan.
McMahon C., Lowe A., & Culley S. (2004). Knowledge management in engineering design: personalization and codification. Journal of Engineering Design 15 (4), 307–325.
Meseguer P., & Preece A.D. (1995). Verification and validation of knowledge-based systems with formal specifications. Knowledge Engineering Review 10, 331–343.
Nguyen T.A., Perkins W.A., Laffey T.J., & Pecora D. (1985). Checking an expert systems knowledge base for consistency and completeness. IJCAI ‘85, Vol. 1, pp. 375–378, Los Angeles.
Noy N.F., Fergerson R.W., & Musen M.A. (2000). The knowledge model of Protege-2000: combining interoperability and flexibility. Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW 2000)Juan-les-Pins, France.
Preece A.D., Shinghal R., & Batarekh A. (1992). Verifying expert systems: a logical framework and a practical tool. Expert Systems with Applications 5 (3/4), 421–436.
Qian Y., Zheng M., Li X., & Lin L. (2005). Implementation of knowledge maintenance modules in an expert system for fault diagnosis of chemical process operation. Expert Systems with Applications 28, 249–257.
Regli W.C., Hu X., Atwood M., & Sun W. (2000). A survey of design rationale systems: approaches, representation, capture and retrieval. Engineering with Computers: An International Journal for Simulation-Based Engineering 16, 209–235.
Rubin J. (1994). Handbook of Usability Testing. New York: Wiley Technical Communication Library.
Selpi. (2004). An FDM prototype for pathway and protein interaction data. Master's Thesis, Chalmers University of Technology, Goteborg, Sweden.
Serrano D., & Gossard D. (1992). Tools and techniques for conceptual design. In Artificial Intelligence in Engineering Design (Tong C. & Sriram D., Eds.), Vol. 1, pp. 71–116. San Diego, CA: Academic.
Soloway E., Bachant J., & Jensen K. (1987). Assessing the maintainability of XCON-in-RIME: coping with problems of a very large rule-base. In Proc. AAAI-87, pp. 824–829, Seattle, WA.
Sriram D., & Maher M.L. (1986). The representation and use of constraints in structural design. In Applications of Artificial Intelligence in Engineering Problems, Vol. 1, pp. 355–368. Southampton: Computational Mechanics Publications.
Steward D.V. (1962). On an approach to techniques for the analysis of the structure of large systems of equations. SIAM Review 4.
Streeter T. (1980). The Art of the Japanese Kite. Tokyo: Charles E. Tuttle Company.
Suwa M., Scott A.C., & Shortliffe E.H. (1982). An approach to verifying completeness and consistency in a rule-based system. AI Magazine 3 (4), 16–21.
Wielinga B., & Schreiber G. (1997). Configuration-design problem solving. IEEE Expert 12 (2), 49–57.
Yolen W. (1976). The Complete Book of Kites and Kite Flying. New York: Simon and Schuster Trade.
Zlatareva N.P. (1998). A refinement framework to support validation and maintenance of knowledge-based systems. Expert Systems with Applications 15, 245–252.