Ph.D. Dissertation

267[102] G. Dowek, A. Felty, H. Herbelin, G. Huet, C. Murthy, C. Parent, C. Paulin-Mohring, andB. Werner. The Coq Proof Assistant User’s Guide. INRIA, Rocquencourt, France, rapporttechniques 154 edition, 1993.[103] Desmond D’Souza and Alan Wills. Objects, Components, and Frameworks with UML: theCatalysis Approach. Addison-Wesley Publishing Company, 1998.[104] Francisco Durán and José Meseguer. The maude specification of full maude. Technicalreport, SRI International Computer Science Laboratory, May 1999.[105] Liesbeth Dusink and Jan van Katwijk. Reuse dimensions. In Proceedings of SSR ’95, 1995.[106] Steve Easterbrook, John Callahan, and Virginie Wiels. V & V through inconsistency trackingand analysis. In Proceedings of the Ninth International Workshop on Software Specificationand Design, 1998.[107] Umberto Eco. A Theory of Semiotics. Indiana University Press, 1982.[108] G. Wagner (editor). Handling inconsistency in knowledge systems. Journal of AppliedNon-Classical Logics, 7(1–2), 1997.[109] Stephen Edwards. Common interface models for components are necessary to supportcomposability. In WISR4 [381].[110] Peter W. Eklund, Gerard Ellis, and Graham Mann, editors. Conceptual Structures: KnowledgeRepresentation As Interlingua: Fourth International Conference On Conceptual Structures,ICCS’96, Sydney, Australia, August 19-22, 1996, Proceedings, volume 1115 of LectureNotes in Computer Science. Springer–Verlag, August 1996.[111] Carl Ellison and Bruce Schneier. Ten risks of PKI: What you’re not being told about publickey infrastructure. http://www.counterpane.com/pki-risks-ft.txt.[112] Interactive Software Engineering. EiffelStudio: A guided tour, 2001. Details available viahttp://www.eiffel.com/doc/online/eiffel50/intro/studio/.[113] David Epstein, John Motil, and Joseph R. Kiniry. JJ, can a beginners language includedesign by contract? Dr. Dobbs Journal, April 2000.[114] ESSLLI-02. Foundations for the Semantic Web, August 2002.[115] R. Fagin, J. Y. Halpern, and M. Y. Vardi. A model-theoretic analysis of knowledge. Journalof the Association of Computing Machinery, 38(2):382–428, April 1991.[116] A. Farquhar, R. Fikes, W. Pratt, and J. Rice. Collaborative ontology construction for informationintegration, 1995.