Bibliography

A. Mitra; A. Gupta

doi:10.1017/CBO9780511543432.009

1 Mark Nissen, Professor BA248D, Naval Postgraduate School, Monterey, CA. Telecommunications and Distributed Processing. Intelligent Agents: A Technology and Business Application Analysis, November 30, 1995 at http://web.nps.navy.mil/~menissen/

2 W. Shen and D. H. Norrie of Division of Manufacturing Engineering, The University of Calgary. Agent-Based Systems for Intelligent Manufacturing: A State-of-the-Art Survey, International Journal of Knowledge and Information Systems, 1(2), 129–156, 1999 at http://imsg.enme.ucalgary.ca/publication/abm.htm

3 Cetus Team. Distributed Objects and Components: Mobile Agents, 2001/03/17, 1996–2000 at http://www.cetus-links.org/oo_mobile_agents.html

4 B. de Vries, J. P. van Leeuwen, and H. H. Achten of Eindhoven University of Technology, The Netherlands. Design Studio of the Future, 1997 at http://www.ds.arch.tue.nl/Research/publications/bauke/CIBW78_97.htm

5 Craig Standing, School of Management Information Systems, Edith Cowan University, Joondalup, Western Australia. Managing and Developing Internet Commerce Systems with ICDM, 1999 at http://www.vuw.ac.nz/acis99/Papers/PaperStanding-048.pdf

6 William J. Kettinger, James T. C. Teng, and Subashish Guha, Business Process Change: A Study of Methodologies, Techniques, and Tools, Appendices 4 and 5, in MISQ Archivist, March 1997 at http://129.252.51.247/bpr/aa-4.htm

7 Activity Based Costing and Management from QPR Software at http://www.qpronline.com/abc/activity_based_intro.html

8 The (US) Department of Defense, 12/15/94. Framework for Managing Process Improvement.

9 Ellen Gottesdiener, President, EBG Consulting, Inc. OO Methodologies: Process and Product Patterns, EBG Consulting, Inc., SIGS Publications, published in Component Strategies, 1(5), 1998 at http://www.ebgconsulting.com/OOmethodsArticleCSmag.html

10 Wilfred van der Vegte, Assistant Professor, Delft University of Technology presented at EDIProd Conference, October 14, 2000, Dychow, Poland. Reflections on Artifact Related Process Modeling, October 20, 2000 at http://www.ediprod.uz.zgora.pl/files/ediprod2000.html, http://dutoce.io.tudelft.nl/%7Ewilfred/WFvdVegte-EDIProd2000.htm, http://www.sdpsnet.org/journals/vol6-2/vegte1.pdf, http://dutoce.io.tudelft.nl/~wilfred/

11 Jose Vasconcelos, Department of Computer Science, University of York, UK and Multimedia Resource Center, University of Fernando Pessoa, Portugal; Chris Kimble, Department of Computer Science, University of York, UK; Feliz Gouveia, Multimedia Resource Center, University of Fernando Pessoa, Portugal; Daniel Kudenko, Department of Computer Science, University of York, UK. A Group Memory System for Corporate Knowledge Management: An Ontological Approach, September 2000 at http://www-users.cs.york.ac.uk/~kimble/research/ECKM-2000-paper.pdf

12 Peter Green of Department of Commerce, University of Queensland, Australia and Michael Roseman of School of Information Systems, Queensland Institute of Technology, Australia. Ontological Analysis of Integrated Process Modeling: Some Initial Insights, a paper presented in the Proceedings of the Australian Conference on Information Systems (ACIS 2000), Brisbane, Australia, December 6–8, 2000.

13 Michael Rosemann of Queensland University of Technology, School of Information Systems and Peter Green of University of Queensland, Department of Commerce in the Proceedings of the Information Systems Foundations Workshop on Ontology, Semiotics and Practice 1999. Enhancing the Process of Ontological Analysis – The “Who Cares” Dimension at http://www.comp.mq.edu.au/isf99/Rosemann.htm

14 C. N. G. (Kit) Dampney and M. S. J Johnson, Department of Computing, Macquarie University in Proceedings of the Information Systems Foundations Workshop on Ontology, Semiotics and Practice, 1999. An Information Theory Formalization and the BWW Ontology at http://www.comp.mq.edu.au/isf99/DampneyJohnson.htm

15 Andreas L. Opdahl and Brian Henderson-Sellers of School of Computing Sciences, University of Technology, Sydney in Proceedings of the Information Systems Foundations Workshop on Ontology, Semiotics and Practice 1999. Evaluating and Improving OO Modeling Languages Using the BWW-Model at http://www.comp.mq.edu.au/isf99/Opdahl.htm

16 Glynn Winskel and Mogels Nielsen, Computer Science Department, Aarhus University, Denmark. Categories, in Concurrency, 1997. See abstract at http://www.brics.dk/upd/EP/97/WN_CC/EP-97-WN_CC.bib, https://booktrade.cambridge.org/catalogue.asp?isbn=0521580579

17 David Rowe and John Leaney, Computer Systems Engineering, School of Electrical Engineering, University of Technology, Sydney. Evaluating Evolvability of Computer Based Systems Architectures – An Ontological Approach in IEEE International Conference on Engineering of Computer-Based Systems (ECBS Workshop 1997) at http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/ecbs/1997/7889/00/7889toc.xml&DOI=10.1109/ECBS.1997.581903

18 Mylopoulos, John, University of Toronto. Information Modeling in the Time of RevolutionInformation Systems 23 (3–4), June 1998.CrossRef Google Scholar

19 Julieanne van Zyl and Dan Corbett, School of Computer and Information Science, University of South Australia. Framework for Comparing Methods for Using or Reusing Multiple Ontologies in an Application, a paper presented in the Proceedings of the 8th International Conference on Conceptual Structures, Darmstadt, Germany, August, 2000.

20 Urban Nulden, Department of Informatics, Göteborg University, Sweden. The Why, What, and How of Reuse in Software Development at the 20th Information Systems Research seminar in 1997 at Scandinavia, Hank⊘, Norway at http://staff.cs.utu.fi/IRIS/y/1997.htm

21 Andreas L Opdahl, Department of Information Science, University of Bergen. A Comparison of Four Families of Multi-Perspective Problem Analysis Methods, technical paper from project Technology Inc., 1998 at http://web.archive.org/web/20011218043935/www.project.com/pubs/ papers.html.

22 Yair Wand, Management Information Systems, Faculty of Commerce and Business Administration, The University of British Columbia, Canada and Richard Y. Wang, Sloan School of Management, Massachusetts Institute of Technology, Cambridge, MA. Business: Anchoring Data Quality Dimensions in Ontological Foundations, 1994 at http://web.mit.edu/tdqm/www/papers/94/94-03.html

23 Andreas L. Opdahl, Associate Professor, Department of Information Science, University of Bergen. Towards a Faceted Modeling Language in Proceedings of the Fifth European Conference on Information Systems, 353–366, Cork, Cork Publishing Ltd, 1997.

24 National Committee for Information Technology Standards, Technical Committee H7. Object Model Features Matrix (document number X3H7-93-007v12b) May 25, 1997 at http://www.objs.com/x3h7/omfm12b.doc

25 John Kingston, AIAI, University of Edinburgh. Merging Top Level Ontologies for Scientific Knowledge Management (ref. EDI-INF-RR-0171) in Proceedings of the AAAI Workshop on Ontologies and the Semantic Web, AAAI-02 Conference, Edmonton, Canada, July 29, 2002 at http://www.inf.ed.ac.uk/publications/report/0171.html

26 List of some key domain specific and cross industry software component reuse projects with links to each at http://marexpo.balport.com/Project-Navigator/project_navigator.htm and http://marexpo.balport.com/Project-Navigator/matrix12.htm

27 Peter Clark of Boeing. Some Ongoing KBS/Ontology Projects and Groups, compiled at http://www.cs.utexas.edu/users/mfkb/related.html

28 Institut für Angewandte Informatik und Formale Beschreibungsverfahren links to world-wide ontology and knowledge use projects and researchers at http://www.aifb.uni-karlsruhe.de/ or http://www.aifb.uni-karlsruhe.de/Projekte/

29 COMMET & KREST. Knowledge Reusability and Configurability Projects at http://arti.vub.ac.be/www/krest/information/commet-krest.html

30 TOVE (Toronto Virtual Enterprise) Knowledge Reuse Project (as of February 18, 2002) at http://www.eil.utoronto.ca/comsen.html

31 TOVE ontologies at http://www.eil.utoronto.ca/tove/toveont.html

32 KACTUS Reusable Knowledge Modeling, 1995 at http://www.swi.psy.uva.nl/projects/Kactus

33 Wielinga, Schreiber and others. Project 8145 (The project partners were Cap Gemini Innovation (January 1994–September 1995), Integral Solutions Limited (September 1995–September 1996), CAP Programator, DELOS S.p.A, FINCANTIERI, IBERDROLA, LABEIN, Lloyd's Register, RPK Universität Karlsruhe, STATOIL, SINTEF Automatic Control, University of Amsterdam: KACTUS ESPRIT). Modeling Knowledge about Complex Technical Systems for Multiple Use, several papers at http://hcs.science.uva.nl/projects/Kactus/Papers.html

34 PROJECTXML™ (Year: 2000) by Project. Net San Diego, CA. The firm's website is http://www.project.net/scripts/SaISAPI.dll/website/products/ProjectXML.jsp

35 The One World Information System (OWIS) General Enterprise Management (GEM), Engineering, and Improvement Framework at http://one-world-is.com/rer/owis/emeif.htm

36 Rational Corporation: Rational Requirements Framework, Net Market Edition, 2000.

37 Simon Cox of Dublin Core Metadata Initiative. DCMI Box Encoding Scheme: Specification of the Spatial Limits of a Place, and Methods for Encoding This in a Text String, July 28, 2000 at http://dublincore.org/documents/2000/07/28/dcmi-box/

38 Simon Cox of Dublin Core Metadata Initiative. DCMI Period Encoding Scheme: Specification of the Limits of a Time Interval, and Methods for Encoding This in a Text String, July 28, 2000 at http://dublincore.org/documents/2000/07/28/dcmi-period/

39 Simon Cox of Dublin Core Metadata Initiative. DCMI Point Encoding Scheme: A Point Location in Space, and Methods for Encoding This in a Text String, July 28, 2000 at http://dublincore.org/documents/2000/07/28/dcmi-point/

40 Tim Menzies, Department of Artificial Intelligence, University of New South Wales. KBS Methodologies: KADS and Others, technical report TR95-28, Department of Software Development, Monash University, 1995.

41 KADS: A Development Methodology for Knowledge-based Systems at http://www.mdx.ac.uk/www/ai/samples/ke/53-kads.htm

42 Philippe Martin, University of Adelaide (Australia) – Computer Sciences Department. KADS Top-level Ontology of Concept Types and Relations Types at http://meganesia.int.gu.edu.au/~phmartin/WebKB/kb/topLevelOntology.html, http://meganesia.int.gu.edu.au/~phmartin/WebKB/interface/hierarchyBrowser.html?objectKind=concept+type&top=Thing&relation=Subtype&minDepth=0&openNodes=Entity+Situation+Spatial_entity+Information_entity, http://meganesia.int.gu.edu.au/~phmartin/WebKB/interface/hierarchyBrowser.html?object-Kind=relation+type&top=BinaryRel&relation=Subtype&minDepth=0&openNodes=BinaryRel_from_a_situation+BinaryRel_from_a_Process

43 A. Th. Schreiber, J. M. Ackkermans, A. A. Anjewierden, R. de Hoog, N. R. Shadbolt, W. Van de Velde, and B. J. Wielinga. Knowledge Engineering and Management: The Common KADS Methodology at http://www.commonkads.uva.nl/frameset-commonkads.html and http://www.commonkads.uva.nl/frameset-commonkads.html

44 Kieron O'Hara, Artificial Intelligence Group, University of Nottingham, UK. A Representation of KADS-I Interpretation Models Using a Decompositional Approach in Proceedings of 3rd KADS Meeting, 1993 at http://eprints.ecs.soton.ac.uk/4164/

45 John Kingston AIAI, University of Edinburgh. Common KADS: Overview of Knowledge Engineering Methods at http://www.aiai.ed.ac.uk/~jkk/kadspubs.html

46 I. Laresgoiti and A. Bernaras1 of LABEIN, Spain; A. Anjewierden, A. TH. Schreiber and B. J. Wielinga of University of Amsterdam, Department of Social Science Informatics, The Netherlands; and J. Corera of IBERDROLA, Spain. Ontologies as Vehicles for Reuse: A Mini-experiment, 1996 at http://ksi.cpsc.ucalgary.ca/KAW/KAW96/laresgoiti/k.html

47 Knowledge Interchange Format (KIF) draft of proposed American National Standard (dpANS) NCITS.T2/98-004: A Framework for Comparing Methods for Using or Reusing Multiple Ontologies in an Application, 1998 at http://logic.stanford.edu/kif/dpans.html

48 Rational Corporation. Rational Reusable Asset Specification (1999 technical report: major contributors Grady Booch, Catapulse, CTO Peter Eeles, Rational, RSO UK; Luan Doan-Minh, Rational, SSO US; Kelli Houston, Rational, A&AF Senior Architecture Specialist; Ivar Jacobson, Rational, VP of Business Engineering; Wojtek Kozaczynski, Rational, Director of A&AF; Philippe Kruchten, Rational Fellow; Grant Larsen, Catapulse, Senior Architecture Specialist; Jon Lawrence, Rational, A&AF Product Manager; Davyd Norris, Rational Software, RSO Australia, Jim Rumbaugh, Rational Fellow, Bran Selic, Rational, Methodologist, Jim Thario, Rational, A&AF Senior Software Engineer).

49 Mike Lee, of Project Technology Inc. Object Oriented Analysis in the Real World, 1992.

50 Rational Software Corporation. UML Quick Reference for Rational Rose, 2001 at http://www.rational.com/uml/resources/quick/index.jsp

51 XML Information Set W3C Working Draft March 16, 2001 and XML Information Set (second edition) W3C Recommendation, February 4, 2004 at http://www.w3.org/TR/xml-infoset/#infoitem.element

52 XML Schema Part 1: Structures, W3C Candidate Recommendation October 24, 2000 of the World Wide Web Consortium and XML Schema Part 1: Structures (second edition), W3C Recommendation, October 28, 2004 at http://www.w3.org/TR/xmlschema-1/

53 XML Schema Part 0: Primer, W3C Proposed Recommendation, March 16, 2000; editor David C. Fallside (IBM) at http://www.w3.org/TR/2001/PR-xmlschema-0-20010316/primer.html (World Wide Web Consortium, Massachusetts Institute of Technology, Institut National de Recherche en Informatique et en Automatique, Keio University.)

54 XML Core Metamodel at http--www.omg.org-cgi-bin-docad-01-02-03.txt and ftp://ftp.omg.org/pub/docs/ad/01-02-03.txt

55 XML 1.0 (second edition) W3C (MIT, INRIA, Keio), 2000 and XML 1.0 (third edition) W3C Recommendation February 4, 2004 at http://www.w3.org/TR/REC-xml

56 Veryard Projects. Process Management Workflow, Workload, Work Control, 1995–2001 at http://www.users.globalnet.co.uk/~rxv/sebpc/workflow.htm

57 M. C. Tanuan, Software Engineering Manager of Waterloo EAServer QA, eBusiness Division, Sybase, Inc. An Introduction to Workflow and Business Process Modeling, December 2, 1997 at http://se.uwaterloo.ca/~mctanuan/cs645/IntroBPMWF.htm

58 Stephen Russell Jernigan, M. S. E. and K. S. Barber, The University of Texas at Austin. Distributed Search Method for Scheduling Flow Through a Factory Floor, 1966 at http://www-lips.ece.utexas.edu/~stevej/papers/thesis/masters.html

59 Various practitioners and academics. Diverse manufacturing process summaries of Refereed Conference Papers of ICME 2000, 8th International Conference on Manufacturing Engineering in Sydney, August 27–30, 2000 at http://www.unisa.edu.au/ame/pubs/2000.asp

60 S. R. Jernigan, S. Ramaswamy, and K. S. Barber, The Laboratory for Intelligent Processes and Systems, The Department of Electrical and Computer Engineering, The University of Texas at Austin. A Distributed Search and Simulation Method for Job Flow Scheduling November 30, 1995 at http://www-lips.ece.utexas.edu/~stevej/papers/simulation/simulation.html

61 Project Management Institute (PMI). A Guide to Project Management Body of Knowledge: PMBOK Guide 2000 edition. PMI web page is at http://www.pmi.org/info/default.asp

62 Jürgen Sauer and L. Jain, Intelligent Techniques in Industry, In Knowledge-Based Scheduling Techniques in Industry, CRC Press, 1998 (excerpts available at http://www-is.informatik.uni-oldenburg.de/~sauer/paper/scheduling.html).

63 Assaf Arkin of Intalio Inc. from the Business Process Management Initiative (BPMI) Consortium. Business Process Markup Language (BPML), Working Draft 0.4 3/8/2001 (the BPMI site is http://www.bpmi.org).

64 Vitria Technology, Inc. Executive Overview: Value Chain Markup LanguageTM-VCMLTM. A Collaborative E-Business Vocabulary, 2001 (Vitria Technology Inc. home page at http://www.vitria.com).

65 Vitria Technology, Inc. Downloads: Value Chain Markup LanguageTM-VCMLTM. A Collaborative E-Business Vocabulary, 2001.

66 Alexander James Cowie, School of Computer and Information Science, University of South Australia. The Modeling of Temporal Properties in a Process Algebra Framework, 1999 at http://www.cis.unisa.edu.au/~cisajc/thesis.pdf

67 Deepa Pandalai, Honeywell Technology Center, Honeywell Inc. Minneapolis, USA and Lawrence Holloway, Center for Robotics and Manufacturing Systems, University of Kentucky, Lexington, KY, USA. Template Languages for Fault Monitoring of Concurrent and Non-Concurrent Discrete Event Processes, March 1997 at http://citeseer.ist.psu.edu/74396.html

68 Rajeev Alur and David Dill, Computer Science Department, Stanford University, CA, USA. A Theory of Timed Automata, 1994. Abstract available at http://www.cis.upenn.edu/~alur/Icalp90.html and http://citeseer.ist.psu.edu/alur94theory.html

69 Petri Nets at http://pdv.cs.tu-berlin.de/~azi/petri.html#pnresearch (Maintained by Armin Zimmermann Dr.-Ing., research assistant, Technische Universität Berlin.)

70 Graph Theory: Color Petrinet at http://markun.cs.shinshu-u.ac.jp/learn/graph/cn7/colorPetrinet.html (Maintained by Shinshu University, Japan.)

71 Graph Theory: CO Petrinet at http://markun.cs.shinshu-u.ac.jp/learn/graph/cn7/coPetrinet.html

72 Srinivasan Ramaswamy, University of Southwestern Louisiana. Ph.D. thesis, Hierarchical Time-Extended Petri Nets (H-EPNs) for Integrated Control and Diagnostics of Multilevel Systems, 1994.

73 Vijay K. Garg, University of California, Berkely, CA, USA and M. T. Raghunath of the University of Texas, Austin, TX, USA. Concurrent Regular Expressions and their Relationship to Petri Nets, 1992 at http://citeseer.ist.psu.edu/garg92concurrent.html

74 C. Ramchandani, Timed Petri nets, Technical Report 120, Project MAC, Massachusetts Institute Technology. A Study of Asynchronous Concurrent Systems, February 1974.

75 Calculi for Mobile Processes at http://lamp.epfl.ch/mobility/

76 Marcus Lumpe at the University of Berne, Germany. A Pi-Calculus Based Approach to Software Composition, an inaugural dissertation, January 21, 1999 at http://www.iam.unibe.ch/~scg/Archive/PhD/lumpe-phd.pdf

77 Lucian Wischik, University of Bologna. New Directions in Implementing Pi Calculus, August 30, 2002 at http://www.newcastle.research.ec.org/cabernet/workshops/radicals/2002/Papers/Bertinoro/18.pdf

78 J.-P. Courtiat, C. A. S. Santos, C. Lohr, and B. Outtaj of LAAS-CNRS, France and Ecole Mohamedia d'Ingénieurs, Rabat, Maroc. Experience with RT-LOTOS: A Temporal Extension of the LOTOS Formal Description Technique, in Computer Communications, 23, 1104–1123, 2000 at http://www.laas.fr/RT-LOTOS/doc-src/CompCom99/CompCom99/ and http://www.laas.fr/~courtiat/PAPERS/ComCom00.pdf

79 David Harel, On Visual Formalisms, Communications of the ACM, 31(5), 521–523, 527, May 1988.

80 Davis, Alan M., A Comparison of Techniques for the Specification of External System Behavior, Communications of the ACM, 31(9), 1105, 1988.CrossRef Google Scholar

81 Harel, David and Pnueli, A., Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel. On Development of Reactive Systems, 8–10, NATO ASI Series F, Vol. 13, SpringerVerlag, 1985.Google Scholar

82 Harel, David, On Visual Formalisms, Communications of the ACM, 31(5), 519, 1988.CrossRef Google Scholar

83 Robert L. Jones III of Langley Research Center, VA, USA. NASA Technical Paper 3491, Design Tool for Multiprocessor Scheduling and Evaluation of Iterative Data Flow Algorithms, August 1998 at http://www.iis.sinica.edu.tw/JISE/2000/200005_07.pdf

84 Sergio Bandinelli, Alfonso Fuggetta, and Sandro Grigolli, Process Modeling in-the-large with SLANG at Proceedings of the Second International Conference on the Software Process, 1993.

85 Mark E. Pitstick and William L. Garrison, Path Research Report UCB-ITS-PRR-91–7, Institute for Transportation Studies, University of California, Berkely, USA. Restructuring the Automobile Highway System for Lean Vehicles: The Scaled Precedence Activity Network (SPAN) Approach, April 1991.

86 Klaus Neumann and Welf G. Schneider, Dokumenteserver der Universitätsbibliothek Karlsruhe, in a 1997 Technical Report, Heuristic Algorithms for Job Shop Scheduling Problems with Stochastic Precedence Constraints, at http://www.ubka.uni-karlsruhe.de/cgi-bin/psview?document=/1997/wiwi/6&search=/1997/wiwi/6

87 Liang, Bin-Shiang and Wang, Feng-Jiang, Institute of Computer Science and Information Engineering, National Chiao Tung University, Taiwan and Jenn-Nan Chen of Samar Electronics Corporation Ltd, Taiwan. A Project Model for Software Development, Journal of Science and Engineering, 16, 423–446, 2000 at http://www.iis.sinica.edu.tw/JISE/2000/200005_07.pdfGoogle Scholar

88 Workshop on Design of Algorithms, Dresden, Module 17 Design Algorithms Channel. A Matrix Calculus for the Analysis and Generation of Binary Relations: Generalizations and Applications, part 1, 1996 at http://marvin.sn.schule.de/~inftreff/modul17/task17_e.htm

89 Oyvind Forsbak, Department of Informatics, University of Oslo. Graduate thesis, A Critical Review of Aggregation in Object Models, and a Proposal for New Aggregation Concepts in UML.

90 William Paul Rogers, Senior Engineering Manager and Application Architect, Lutris Technologies. Reveal the Magic Behind Subtype Polymorphism, Java World, April 2001 at http://www.javaworld.com/javaworld/jw-04-2001/jw-0413-polymorph_p.html

91 Eric Allen, Ph.D. graduate student, Programming Language Technology Group, Rice University. Behold The Power Of Parametric Polymorphism Java World, February 2000 at http://www.javaworld.com/javaworld/jw-02-2000/jw-02-jsr_p.html

92 R. Armstrong, D. Gannon, A. Geist, K. Keahey, S. Kohn, L. McInnes, S. Parker, and B. Smolinski at CCA Forum. Towards a Common Component Architecture for High-Performance Scientific Computing, 1999.

93 Grady Booch, Rational Software Corp.; Magnus Christerson, Rational Software Corp.; Matthew Fuchs, Commerce One Inc.; Jari Koistinen, Commerce One Inc. at the UML resource Center. UML for XML Schema Mapping Specification, August 12, 1999.

94 Dr. James Rumbaugh, OMT Papers, September 1995.

95 P. H. Aiken, Reverse Engineering of Data IBM, 1998 at http://www.research.ibm.com/journal/sj/372/aiken.txt

96 Bill Hakanson, Executive Director Supply Chain Council (SCC). Supply Chain Management: Where Today's Businesses Compete, December 2, 1997 at http://www.ascet.com/documents.asp?d_ID=228

97 Gaps in Common Knowledge Between Professions, Kenneth Kmack Associates August 2000 at http://web.archive.org/web/20030602070819/kenkmack.com/august_2000_topic_gaps_in_common_knowledge_between_professions.html

98 Stewart, Gordon, Supply Chain Operations Reference Model (SCOR): The First Cross Industry Framework for Integrated Supply Chain Management, Logistics Information Management, 10(2), 62–67, 1997.CrossRef Google Scholar

99 QPR Software: SCOR Supply Chain Model from the Supply-Chain Council at http://www.qprportal.com/pg/scor_eng/

100 S95 Standard May 2001, Enterprise – Control System Integration Standard, ANSI / ISA S95.00.01–2000, May 2001 at http://www.pera.net/Standards/Stds_S95.html

101 Dennis Brandl Director, Enterprise Initiative Sequencia Corporation, NC USA; Peter Owen, Eli Lilly & Co. A Tutorial on the SP95 Enterprise/Control Integration Standard at http://www.iee.org/oncomms/sector/manufacturing/Articles/Download/EF5A16ED-3D3C-466F-BB4FBD56A2FB90CB

102 Keith Unger of EnteGreat Inc. Integrate ERP with Control Systems Using the S95 model, Mountain Systems Inc, a presentation at the Mountain Systems Conference, May 13–17, 2002 at http://www.entegreat.com/eg_downloads_presentations_mountainsystems2002.htm

103 Controls Definition and MES to Controls Data Flow Possibilities, MESA International White Paper Number 3, MESA International, Pittsburgh, PA, USA at http://www.mesa.org

104 Paul Sawyer, PES Associates. CAPE Tools for the Design and Operation of Batch Processes presented on 13 August 2001 at CAPE-21 (a conference on Computer Aided Process Engineering Tools and Techniques for the twenty-first Century).

105 Brian A. Johnson, managing partner for strategy, research and thought leadership in the Cross Financial Services Solutions group, Accenture Corp. Fault Lines in CRM: New E-Commerce Business Models and Channel Integration Challenges, White Paper, January 15, 1999 at http://www.crmproject.com/documents.asp?d_ID=706

106 Jagdish Sheth, Professor of Marketing, Goizueta Business School and Dr. Rajendra Sisodia Trustee Professor of Marketing, Bentley College Waltham MA. Marketing's Final Frontier – The Automation of Consumption, 2000 at http://www.jagsheth.net/pubs_articlesbytype.html and http://www.crmproject.com/documents.asp?grID=187&d_ID=709

107 Osman Turan, Department of Industrial and Systems Engineering, Virginia Tech. Introduction to Supply Chain Management, 2000 at http://hokies.ise.vt.edu/oturan/SCM/introduction.html

108 QPR Software, Introduction to Supply Chain Management, 2000 at http://www.qpronline.com/supplychainmanagement/supplychain_intro.html

109 Cyber M@rketing Services. Demand Chain Management: New Strategies for E-Business, IMA, 1998, 1999, 2000.

110 Jan Holmström, and Tiina Tissari, The ECOMLOG Research Program, Department of Industrial Engineering and Management, Helsinki University of Technology. IT Value Capture: Creating an Effective Demand–Supply Chain for IT Solutions, presented at Logistics Research Network (LRN) 5th Annual Conference, Cardiff, UK, September 2000 at http://www.tuta.hut.fi/logistics/publications.html

111 REM Associates of Princeton, Inc. Supply Chain Move Over, It's Time for Demand Chain (March 2000), 1999, 2000 at http://www.remassoc.com/news/demandchain.asp.

112 Jim Noller, project consultant, Renaissance Worldwide. Integrating the Demand Chain and the Supply Chain: Technology and Trends, 1999 at http://www.afsmi.org/journal/jun99/jun-003.htm. Please register at register at: http://www.afsmi.org/ to access this site.

113 Holmstrom, Jan, Hoover, William E. Jr., Louhiluoto, Perttu, and Vasara, Antti, Mckinsey & Co. The Other End of the Supply Chain, McKinsey Quarterly, (1), 62–71, 2000.Google Scholar

114 Roberto Michel, Manufacturing Systems. Why Best Practices Make Perfect: CFAR and SCOR Initiatives Aim to Improve Supply Chain Operations, Manufacturing Business Technology, 1997 at http://www.mbtmag.com/Default.asp

115 Elgar Fleisch and Hubert Oesterle, Institute of Information Management, University of St. Gallen, Switzerland. A Process Oriented Approach to Business Networking, Virtual Organization Net, 2(2), 2000 at http://verdi.unisg.ch/org/iwi/iwi_pub.nsf/wwwPublYearEng/9A080ADF5173DC38C1256FC600471E98 or http://www.ve-forum.org/Projects/264/Issues/eJOV%20Vol2/Fleisch%20-%202000%20-%20eJOV2,2-1%20-%20A%20Process-oriented%20Approach%20to%20Business%20Networking.pdf (access through http://verdi.unisg.ch/org/iwi/iwi_pub.nsf/wwwPublRecentEng/9A080ADF5173DC38C1256FC600471E98)

116 Kevin Crowston, School of Business Administration, MIT Sloan Center for Coordination Science University of Michigan, Michigan, USA. A Taxonomy of Organizational Dependencies and Coordination Mechanisms, May 1999 at http://ccs.mit.edu/papers/CCSWP174.html

117 R. Alexander Milowski, XML Architect and Ray Waldin, Senior XML Engineer Lexica LLC. iLingo – The Language of Insurance e-Business at http://xml.coverpages.org/ilingowhitepaper19991218.html

118 Prof. A. W. Scheer, Instutut Fur Wirtschaftinformatik der universitat des saarlander. ARIS Business Process Model at http://www.iwi.uni-sb.de/teaching/ARIS/aris-i/aris-e-i/index.htm and http://www.iwi.uni-sb.de/teaching/ARIS/aris-i/aris-e-i/

119 Lee, Hau L. and Billington, Corey, Managing Supply Chain Inventory: Pitfalls and Opportunities, Sloan Management Review, Cambridge 33(3), 1992.Google Scholar

120 Ranier Alt, Elgar Fleissch, and Hubert Osterle, Institute of Information Management, University of St. Gallen, Switzerland. Electronic Commerce and Supply Chain Management at ETA Fabriques d' Ebauches SA, 2000 at http://www.csulb.edu/web/journals/jecr/issues/20002

121 Voluntary Interindustry Commerce Standards (VICS) Association. The CPFR Process Model at http://www.cpfr.org/ProcessModel.html and http://www.cpfr.org/Images/5.htm

122 Voluntary Interindustry Commerce Standards (VICS) Association. The CPFR Data Model, 2002 at http://www.cpfr.org/Images/AppendixH.HTM or http://havinghadlunch.com:8080/tamikin/GLS/matter/CPFR_Tabs_061802.pdf (See also links to current papers at http://www.vics.org/committees/cpfr/)

123 Collaborative Practices Research Initiative Sponsored by The Neeley Supply and Value Chain Center, Texas Christian University. November 15, 2004 at http://www.vics.org/committees/cpfr/academic_papers/academic_papers

124 VICS, Process and Results Metrics. Measuring the Success of a Process-Driven Value Chain at http://www.cpfr.org/Process-Results%20.html

125 VICS CPFR XML Messaging Model standard draft, January 17, 2001 for public comment at http://www.cpfr.org/XMLMessageModel.doc

126 ICS/CPFR IDEF0 Format Model at http://www.cpfr.org/AppendixI.html. See also http://havinghadlunch.com:8080/tamikin/GLS/matter/CPFR_Tabs_061802.pdf

127 Rosettanet Standards at http://www.rosettanet.org/rosettanet/Rooms/DisplayPages/LayoutInitial?container=com.webridge.entity.Entity%5BOID%5B5F6606C8AD2BD411841-F00C04F689339%5D%5D&expanded=com.webridge.entity.Entity%5BOID%5B5F6606C8-AD2BD411841F00C04F689339%5D%5D

128 Rosettanet PIP Directory at http://www.rosettanet.org/rosettanet/Rooms/DisplayPages/LayoutInitial?Container=com.webridge.entity.Entity%5BOID%5B9A6EEA233C5CD411843C00C04F689339%5D%5D

129 Rosettanet PIPs at http://www.rosettanet.org/rosettanet/Rooms/DisplayPages/LayoutInitial?Container=com.webridge.entity.Entity%5BOID%5B279B86B8022CD411841F00C04F689339%5D%5D

130 Rosettanet Fundamental Business Data Entities at http://www.rosettanet.org/rosettanet/Rooms/DisplayPages/LayoutInitial?Container=com.webridge.entity.Entity%5BOID%5B07C504EE1A96D411BD89009027E33DD8%5D%5D

131 Rosettanet Business Data Entities at http://www.rosettanet.org/rosettanet/Rooms/DisplayPages/LayoutInitial?Container=com.webridge.entity.Entity%5BOID%5BF7C104EE1A96D411BD89009027E33DD8%5D%5D

132 Rosettanet Business Properties at http://www.rosettanet.org/rosettanet/Rooms/DisplayPages/LayoutInitial?Container=com.webridge.entity.Entity%5BOID%5B62C104EE1A96D411BD89009027E33DD8%5D%5D

133 David Sprott, Open Market Components, A CBDi Forum Report, January 2000 at http://www.componentsource.com/services/cbdiopen_market.asp

134 AccountingSTUDY. comSM. Accounting Study Guide, 1999–2002 at http://accountinginfo.com/study/index.html

135 AccountingSTUDY.comSM. Accrual Basis vs. Cash Basis Accounting, 1999–2002 at http://accountinginfo.com/study/accrual-01.htm

136 AccountingSTUDY.comSM. Introduction to Adjusting Journal Entries, 1999–2002 at http://accountinginfo.com/study/aje-01.htm

137 Wikipedia. US Generally Accepted Accounting Principles at http://en.wikipedia.org/wiki/U.S._generally_accepted_accounting_principles

138 AccountingSTUDY.comSM. FASB Statements, Financial Accounting Standards Board, ARB, APB Opinions, American Institute of Certified Public Accountants, Generally Accepted Accounting Principles in the United States Index, 1999–2002 at http://cpaclass.com/gaap/gaap-us-01a.htm

139 BookkeepersList.com, 1999–2003 at http://bookkeeperlist.com/gaap.shtml

140 CPAclass.com. Ratios for Financial Statement Analysis Web Site, Financial Ratios: Summary, 1999–2002 at http://cpaclass.com/fsa/ratio-01a.htm

141 CPAclass.com. Ratios for Financial Statement Analysis Web Site, Financial Ratios: Index, 1999–2002 at http://cpaclass.com/fsa/ratio-01.htm

142 CPAclass.com. Annual Report Project Resources, 1999–2001 at http://www.cpaclass.com/arp/

143 David Chappell of Chappell & Associates. The Next Wave: Component Software Enters the Mainstream, April 1997 at http://www.mc.edu/campus/users/gwiggins/syllabi/csc320/papers/dynamic-3.html

144 Kruchten, Philippe of Rational Software Corp., Canada. The 4+1 View Model of Architecture, IEEE Software, 12(6), 42–50, 1995.CrossRef Google Scholar

145 D. E. Perry and A. L. Wolf. Foundations for the Study of Software Architecture, ACM Software Engineering Notes, 40–52, October 1992.

146 Capability Maturity Model for Software (version 1.1), Publication TR 25 from Software Engineering Institute (SEI)

147 Carnegie Mellon University. CMMI Models, 2002 at http://www.sei.cmu.edu/cmmi/models/models.html

148 Michael Paulk, Carnegie Mellon University. A History of the Capability Maturity Model for Software at http://www.dfw-asee.org/archive/cmm-history.pdf

149 Carnegie Mellon University. Concept of Operations for the CMMI, 2002 at http://www.sei.cmu.edu/cmmi/background/conops.html

150 Bob Rassa of Raytheon Corporation and Clyde Chittister of the Software Engineering Institute. State of the CMMI: Improving Processes for Better Products, Carnegie Mellon University, 2002 at http://www.raytheon.com/feature/stellent/groups/public/documents/legacy_site/cms01_042355.pdf

151 Sarah A. Sheard of the Software Productivity Consortium. The Frameworks Quagmire: A Brief Look, at http://www.software.org/quagmire/frampapr/frampapr.html

152 S. Bandinelli, A. Fugetta, and S. Ghezzi, Software Processes as Real Time Systems: A Case Study Using High Level Petri Nets, in Proceedings of the International Phoenix Conference on Computers and Communications, Phoenix, AZ, April 1992, pp. 231–242.

153 Giancarlo Succi, University of Calgary, Canada and Luigi Benedicenti, Paolo Predonzani and Tullio Vernazza of University Di Genova, Italy. Standardizing the Reuse of Software Processes at http://portal.acm.org/citation.cfm?id=260564

154 Microsoft Inductive User Interface Guidelines at http://msdn.microsoft.com/library/default.asp?url=/library/en-us/dnwui/html/iuiguidelines.asp

155 CSS2 Specification: Cascading Style Sheets, level 2 W3C Recommendation, May 12, 1998 at http://www.w3.org/TR/REC-CSS2/

156 Peter Norvig and David Cohn of Harlequin Incorporated. Adaptive Software at http://www.norvig.com/adapaper-pcai.html

157 Laura M. Meade of Automation and Robotics Research Institute's Enterprise Engineering Program, The University of Texas. Agile Process Design at http://arri.uta.edu/eif/lmmdis.html

158 Scott W. Ambler, Agile Software Development at http://www.agilemodeling.com/essays/agileSoftwareDevelopment.htm

159 Don Wells, Extreme Programming: A Gentle Introduction, 1999, 2000, 2001 at http://www.extremeprogramming.org/

160 Jim Dowling and Vinny Cahill of the Department of Computer Science, Trinity College, Dublin. K-Component Architecture Meta-model for Self-Adaptive Software at http://www.cs.tcd.ie/publications/tech-reports/reports.01/TCD-CS-2001-50.pdf

161 Howard Smith, chief technology officer (Europe) of Computer Sciences Corporation and co-chair of the Business Process Management Initiative, and Peter Fingar, executive partner with the Greystone Group. The Next Fifty Years, Darwin, December 2002 at http://www.darwinmag.com/read/120102/bizproc.html

162 Peyman Oreizy, Ph.D candidate, University of California, Irvine; Michael Gorlick, Research Scientist, Aerospace Corporation; Richard Taylor, Professor, Department of Information and Computer Science, UCI and Director of the Irvine Research Unit in Software; Dennis Heinsbigner, Research Associate Professor, University of Colorado, Boulder; Gregory Johnson, Member of Technical Staff, Concept Shopping Inc.; Nenad Medvidevic, Assistant Professor, Computer Science Department, University of Southern California; Alex Quilici, Associate Professor of Electrical Engineering, University of Hawaii, Manoa; David Rosenblum, Associate Professor, Department of Computer Science, UCI; and Alexander Wolf, Associate Professor, Department of Computer Science, University of Colorado, Boulder. An Architecture Based Approach to Self-Adaptive Software at http://ftp.ics.uci.edu/pub/c2/papers/ieee-is99.pdf

163 Paul Robertson of Dynamic Language Labs, Andover, MA. Self-Adaptive Software, a white paper for the Workshop on New Visions for Software Design and Productivity at http://www.hpcc.gov/iwg/sdp/vanderbilt/position_papers/paul_robertson_self_adaptive_software.pdf

164 Karyl Scott, Computer, Heal Thyself, InformationWeek, April 1, 2002 at http://www.informationweek.com/story/IWK20020329S0005 or http://www.informationweek.com/story/IWK20020329S0005

165 Mathematical and Logical Vocabulary, Cycorp 1996, 1997, 1998. Cycorp is based in Austin, Texas. The cycorp home page is at http://www.cyc.com/cyc/company.

166 Kyle Siegrist, Department of Mathematical Sciences, University of Alabama in Huntsville. Sets and Events, Virtual Laboratories in Probability and Statistics, 1997–2001. The tutorial is available at http://www.ds.unifi.it/VL/VL_EN/prob/prob2.html

167 Set theory at http://www.wikipedia.com/wiki/Set_theory (Describes the basic axioms of set.)

168 Basic set theory from Wikipedia at http://www.wikipedia.com/wiki/Basic+Set+Theory

169 Axiom of choice at http://www.wikipedia.com/wiki/Axiom_of_choice

170 Power set at http://www.wikipedia.com/wiki/Power_set

171 Axiom of regularity from Wikipedia at http://www.wikipedia.com/wiki/Axiom+of+regularity

172 Mathematical class from Wikipedia at http://www.wikipedia.com/wiki/mathematical+class

173 Category theory from Wikipedia at http://www.wikipedia.com/wiki/category+theory

174 John Baez, Professor of Mathematics, University of California, Riverside Categories, Quantization, and Much More, August 7, 1992 at http://math.ucr.edu/home/baez/categories.html

175 Chris Hillman, Ph.D., Mathematics, University of Washington. A Categorical Primer, a tutorial paper, July 2, 2001 at http://www.di.uminho.pt/~lsb/mmc_ap/Hilmann.pdf

176 Goldblatt. Topoii: The Categorical Analysis of Logic at http://www.andrew.cmu.edu/~cebrown/notes/goldblatt.html

177 John Baez, Professor of Mathematics, University of California, Riverside. This Week's Finds in Mathematical Physics (Week 68) October 29, 1995 at http://math.ucr.edu/home/baez/week68.html

178 Steven Vickers, Department of Computing, Imperial College, London, UK. Topical Categories of Domains Mathematical Structures in Computer Science, Volume 11, Cambridge University Press, 1995 at http://mcs.open.ac.uk/sjv22/TopCat.ps.gz

179 Heyting Algebra at http://publish.uwo.ca/~jbell/HEYTING.pdf

180 Masao Mori, Department of Information Systems, Interdisciplinary Graduate school of Engineering Science, and Yasuo Kawahara of Research Institute of Fundamental Information Science, both of Kyushu University, Japan. Heyting Algebra at http://www.i.kyushu-u.ac.jp/~masa/fuzzy-graph/node2.html

181 Robert Goldblatt, Topoii, Categorical Analysis of Logic, Studies in Logic and the Foundations of Mathematics, Volume 98, New York, North Holland, 1984 at http://www.mcs.vuw.ac.nz/~rob/ or http://www.library.cornell.edu/math/digital-books.php#index

182 Andrew M. Pitts of Computer Laboratory, University of Cambridge, England. Non-trivial Power Types Can't be Subtypes of Polymorphic Types, a paper presented in Proceedings Fourth Annual IEEE Symposium on Logic in Computer Science, 6–13, Asilomar, CA, July 1989, IEEE Computer Society Press, 1989 at http://www.cl.cam.ac.uk/~amp12/papers

183 Mathematical topos from Wikipedia at http://www.wikipedia.com/wiki/mathematical+topos

184 John Baez, Professor of Mathematics, University of California, Riverside, January 3, 2001: Topos Theory in a Nutshell℗ John Baez at http://math.ucr.edu/home/baez/topos.html

185 Law of excluded middle from Wikipedia at http://www.wikipedia.com/wiki/law+of+the+excluded+middle

186 Functor from Wikipedia at http://www.wikipedia.com/wiki/functor

187 Monoid from Wikipedia at http://www.wikipedia.com/wiki/Monoid

188 Mathematical Group from Wikipedia at http://www.wikipedia.com/wiki/mathematical+group

189 Semigroup from Wikipedia at http://www.wikipedia.com/wiki/semigroup

190 Subgroup from Wikipedia at http://www.wikipedia.com/wiki/subgroup

191 Group Action from Wikipedia at http://www.wikipedia.com/wiki/group+action

192 Mathematical Ring from Wikipedia at http://www.wikipedia.com/wiki/Mathematical+ring

193 Fundamental Group from Wikipedia at http://www.wikipedia.com/wiki/fundamental+group

194 Group representation Lie Algebra from Wikipedia at http://www.wikipedia.com/wiki/group+representation

195 Abelian group from Wikipedia at http://www.wikipedia.com/wiki/abelian+group

196 Lie Group from Wikipedia at http://www.wikipedia.com/wiki/Lie+group

197 Lie Algebra from Wikipedia at http://www.wikipedia.com/wiki/Lie+algebra

198 Ring Ideal from Wikipedia at http://www.wikipedia.com/wiki/ring+ideal

199 Integral domain from Wikipedia at http://www.wikipedia.com/wiki/Integral+domain

200 Field from Wikipedia at http://www.wikipedia.com/wiki/field

201 Finite Field from Wikipedia at http://www.wikipedia.com/wiki/Finite+field

202 Countable at http://www.wikipedia.com/wiki/Countable

203 Countably infinite at http://www.wikipedia.com/wiki/Countably_infinite

204 Continuum hypothesis at http://www.wikipedia.com/wiki/Continuum_hypothesis

205 Cantors Diagonal argument at http://www.wikipedia.com/wiki/Cantors_Diagonal_argument

206 Cardinal number at http://www.wikipedia.com/wiki/Cardinal_number

207 Number from Wikipedia at http://www.wikipedia.com/wiki/number

208 Dense from Wikipedia at http://www.wikipedia.com/wiki/Dense

209 Jens Blanch, University of Gavle, Gavle, Sweden (1998): Domain representation of topological spaces at http://www.sm.luth.se/~jens/pdf/top.pdf

210 Pascal Hitzler, Universität Tübingen February 1998: Scott Domains, Generalized Ultrametric Spaces and Generalized Acyclic Logic Programs (now at University of Karlsruhe)

211 Guy Davies, Decision Theory, Hösten 2000: Order and Value Assignment, a seminar series at ITE.

212 Ordinal at http://www.wikipedia.com/wiki/Ordinal

213 Total Order at http://www.wikipedia.com/wiki/Total_order

214 Well-founded set at http://www.wikipedia.com/wiki/Well-founded_set

215 Well-order at http://www.wikipedia.com/wiki/Well-order

216 Ordered field at http://www.wikipedia.com/wiki/ordered+field

217 Partial order at http://www.wikipedia.com/wiki/Partial_order

218 Lattice from Wikipedia at http://www.wikipedia.com/wiki/Lattice (Numbers, functions, and number theory.)

219 Natural number from Wikipedia at http://www.wikipedia.com/wiki/Natural_number

220 Rational number from Wikipedia at http://www.wikipedia.com/wiki/rational+number

221 Irrational number from Wikipedia at http://www.wikipedia.com/wiki/irrational+number

222 Real number from Wikipedia at http://www.wikipedia.com/wiki/Real+number

223 Complex number from Wikipedia at http://www.wikipedia.com/wiki/complex+number

224 Transcendental number at http://www.wikipedia.com/wiki/transcendental+number

225 Hyperreal numbers from Wikipedia at http://www.wikipedia.com/wiki/hyperreal+numbers

226 Hypercomplex numbers from Wikipedia at http://www.wikipedia.com/wiki/Hypercomplex+numbers

227 Octonions from Wikipedia at http://www.wikipedia.com/wiki/octonions

228 Quaternions from Wikipedia at http://www.wikipedia.com/wiki/quaternions

229 Sedenions from Wikipedia at http://www.wikipedia.com/wiki/sedenions

230 P-adic numbers from Wikipedia at http://www.wikipedia.com/wiki/p-adic+numbers

231 Surreal numbers from Wikipedia at http://www.wikipedia.com/wiki/Surreal_numbers

232 Functions and Random Variables at http://www.math.uah.edu/stat/

233 Function at http://www.wikipedia.com/wiki/Function

234 Injective, surjective and bijective functions from Wikipedia at http://www.wikipedia.com/wiki/Injective,+surjective+and+functions

235 Cartesian product at http://www.wikipedia.com/wiki/Cartesian_product

236 Direct Product from Wikipedia at http://www.wikipedia.com/wiki/direct+product

237 Recursion definition at http://www.wikipedia.com/wiki/Recursion_definition

238 Transfinite induction at http://www.wikipedia.com/wiki/Transfinite_induction

239 Luca Cardelli of AT&T Bell Laboratories, Murray Hill, NJ, USA and Peter Wegner, Department of Computer Science, Brown University, Providence, USA. On Understanding Types, Data Abstraction, and Polymorphism, Computing Surveys, 17(4): 471–522, December 1985 at http://research.microsoft.com/Users/luca/Papers/OnUnderstanding.pdf

240 Lambda calculus at http://www.wikipedia.com/wiki/Lambda_calculus

241 The Lambda Calculus: A Brief description and history at http://www.kids.net.au/encyclopedia-wiki/la/Lambda_calculus#History

242 Jim Larson at the JPL Section 312. An Introduction to Lambda Calculus and Scheme, a talk in a Programming Lunchtime Seminar on 7/26/1996 at http://www.jetcafe.org/~jim/lambda.html

243 Andrew Myers, Cornell University. Advanced Programming Languages at http://www.cs.cornell.edu/courses/cs611/2000fa/slides/lec09.pdf

244 H. Zhang of Iowa University: Lambda Calculus at http://www.cs.uiowa.edu/~hzhang/c123/Lecture5.pdf

245 M.-J. Dominus Church–Rosser Theorem, 1999 at http://perl.plover.com/yak/lambda/samples/slide014.html

246 Chris Clack, Senior Lecturer and MSc. CS Course Director, Department of Computer Science, UCLA. The Lambda Calculus: A Deeper Look at http://www.cs.ucl.ac.uk/teaching/3C11/HTML_Lectures/lecture3_3C11/sld011.htm

247 Stephen Fenner, Normal Forms and the Church–Rosser Theorem, 1996 at http://www.cs.usm.maine.edu/class/cos370/handouts/lambda/node7.html

248 P. Selinger, University of Pennsylvania. Functionality, Polymorphism, and Concurrency: A Mathematical Investigation of Programming Paradigms, Ph.D. thesis, 1997.

249 Peter V. Homeier, US Department of Defense, Ph.D. in Computer Science, UCLA. A Proof of the Church–Rosser Theorem for Lambda Calculus in Higher Order Logic, 1995 at http://www.cis.upenn.edu/~hol/lamcr/lamcr.pdf

250 Entscheidungsproblem at http://www.wikipedia.com/wiki/Entscheidungsproblem

251 First-order predicate calculus at http://www.wikipedia.com/wiki/First-order_predicate_calculus

252 Manfred Kanka, A paper on Semantics, Manfred Krifka, Institut für deutsche Sprache und Linguistik, HU Berlin, WS 2000/2001at http://amor.rz.hu-berlin.de/~h2816i3x/SemanticsI-07.pdf

253 Anthony J. Roy, Department of Computer Science, University of Keele, UK. A Comparison of Rough Sets, Fuzzy Sets and Non-monotonic Logic Technical Report TR99–11, June 1999 at http://pages.britishlibrary.net/aroy/ant/revigis/Comparisonpdf.pdf

254 Functional programming at http://www.wikipedia.com/wiki/Functional_programming

255 Eric W. Weisstein, Space from Eric Weissensteinn's Treasure Trove of Science at http://hades.ph.tn.tudelft.nl/Internal/PHServices/Documentation/MathWorld/math/math/s/s513.htm

256 Tensor from Wikipedia at http://www.wikipedia.com/wiki/Tensor

257 Tensor/Old from Wikipedia at http://www.wikipedia.com/wiki/Tensor/Old

258 Tensor at http://hades.ph.tn.tudelft.nl/Internal/PHServices/Documentation/MathWorld/math/math/t/t078.htm

259 Metric Tensor at http://hades.ph.tn.tudelft.nl/Internal/PHServices/Documentation/MathWorld/math/math/m/m217.htm

260 Vector space from Wikipedia at http://www.wikipedia.com/wiki/vector+space

261 Normed vector space from Wikipedia at http://www.wikipedia.com/wiki/normed+vector+space

262 Topology from Wikipedia at http://www.wikipedia.com/wiki/Topology

263 Pointless Topology at http://www.wikipedia.com/wiki/Pointless+topology

264 Topology Glossary from Wikipedia at http://www.wikipedia.com/wiki/Topology+Glossary

265 Dr. Paul Cairns (principal Investigator) and Jeremy Gow (researcher) of Interaction Design Centre at the School of Computing Science, Middlesex University, UK. The definition of a metric space based on lecture notes by Peter Collins in Elements of Euclidean and Metric Topology of the Interactive, available at the Mathematical Proofs research (IMP) project (January 2001 to June 2002), funded by The Engineering and Physical Sciences Research Council (EPSRC), UK at http://www.uclic.ucl.ac.uk/imp/

266 Spaces with richer structures especially metric spaces in The Mathematical Atlas at http://www.math.niu.edu/~rusin/known-math/index/54EXX.html

267 Bruce MacLennan, Computer Science Department University of Tennessee, Knoxville. Discrete Metric Space, 1996.

268 Manifold from Wikipedia at http://www.wikipedia.com/wiki/Manifold

269 Hausdorff space from Wikipedia at http://www.wikipedia.com/wiki/Hausdorff+space

270 Tychonoff space from Wikipedia at http://www.wikipedia.com/wiki/Tychonoff+space

271 Dimensional Analysis from Wikipedia at http://www.wikipedia.com/wiki/Dimensional+analysis

272 Fundamental Dimensions from Wikipedia at http://www.wikipedia.com/wiki/Fundamental+dimension

273 Hausdorff Dimension from Wikipedia at http://www.wikipedia.com/wiki/Hausdorff+dimension

274 Infimum from Wikipedia at http://www.wikipedia.com/wiki/Infimum

275 Hamel dimension from Wikipedia at http://www.wikipedia.com/wiki/Dimension+of+a+vector+space

276 Connectedness from Wikipedia at http://www.wikipedia.com/wiki/connectedness

277 Simply Connected from Wikipedia at http://www.wikipedia.com/wiki/simply+connected

278 Eric W. Weisstein, Distance at http://hades.ph.tn.tudelft.nl/Internal/PHServices/Documentation/MathWorld/math/math/d/d325.htm

279 Eric W. Weisstein, Metric at http://hades.ph.tn.tudelft.nl/Internal/PHServices/Documentation/MathWorld/math/math/m/m213.htm

280 Measure at http://www.wikipedia.com/wiki/Measure

281 Thierry Coquand, How to Define Measures of Borel Sets at http://www.cs.chalmers.se/~coquand/riesz.pdf

282 Borel Measure at http://www.wikipedia.com/wiki/Borel_measure

283 Tsuda, Koji, Machine Understanding Division, Electrotechnical Laboratory, Japan. Subspace Classifier in Hilbert Space, Pattern Recognition Letters, 20(5), 513–519, May 1999.CrossRef Google Scholar

284 Prof. C-I Tan Department of Physics, Brown University: Notes on Hilbert Space at http://www.chem.brown.edu/chem277/Tan_on_Hilbert_Space.html

285 Norman D. Megill, Hilbert Space Explorer (GPL), 2000 at http://us.metamath.org/mpegif/mmhil.html

286 Jack Sarfatti, A Semi-Pop Non-Mathematical Tutorial on Hilbert Space in Quantum Mechanics at http://www.qedcorp.com/pcr/pcr/hilberts.html

287 Harald Hanche-Olsen, Department of Mathematical Sciences, Norwegian University of Science and Technology (NTNU), Trondheim, Norway. Buckingham's Pi Theorem (Version 2001-09-15, 1998).

288 Buckingham's Pi Theorem, Academic Press Dictionary of Science, Editor Christopher Morris, Elsevier Science & Technology Books, December 1991.

289 Eric Weisstein, Buckingham's Pi Theorem, Eric Weisstein's World of Physics at http://scienceworld.wolfram.com/physics/BuckinghamsPiTheorem.html

290 Information Theory from Wikipedia at http://wikipedia.com/wiki/information+theory

291 Sapir–Whorf Hypothesis from Wikipedia at http://wikipedia.com/wiki/Sapir-Whorf+hypothesis

292 Chaos theory from Wikipedia at http://www.wikipedia.com/wiki/Chaos+theory

293 Takashi Kanamaru, Department of Electrical and Electronic Engineering, Tokyo University of Agriculture and Technology, Japan and J. Michael T. Thompson, Department of Applied Mathematics and Theoretical Physics, Cambridge. Introduction to Chaos and Nonlinear Dynamics, September 1997 at http://brain.cc.kogakuin.ac.jp/~kanamaru/Chaos/e/. See Time Series of Logistic map at http://brain.cc.kogakuin.ac.jp/~kanamaru/Chaos/e/Logits/

294 Ross, Ronald G., The Business Rule Book: Classifying, Defining and Modeling Rules, Database Research Group Inc, 1997.Google Scholar

295 Hammer, Michael and Champy, James, Reengineering The Corporation, Harper Collins, 1993.Google Scholar

296 Herzum, Peter and Sims, Oliver, Business Component Factory: A Comprehensive Overview of Component-Based Development for the Enterprise, John Wiley & Sons, 1999.Google Scholar

297 Nijssen, G. M. and Halpin, T. A., Conceptual Schema and Relational Database Design: A Fact Oriented Approach, Prentice Hall, 1989.Google Scholar

298 Harmon, Paul and King, David, Artificial Intelligence in Business, John Wiley & Sons, 1985, Chapter 4: Representing Knowledge, Chapter 5: Drawing Inferences.Google Scholar

299 Fowler, Martin, Analysis Patterns: Reusable Object Models, Addison Wesley Longman, 1997.Google Scholar

300 Scheer, August-Wilhelm, ARIS, Business Process Frameworks, Springer-Verlag, August 1999.CrossRef Google Scholar

301 Scheer, August-Wilhelm, ARIS, Business Process Modeling, Springer-Verlag, November 1996.Google Scholar

302 Rumbaugh, James, Blaha, Michael, Premerlani, William, Eddy, Frederick, and Lorensen, William at the General Electric Research and Development Center.Object-Oriented Modeling and Design, Prentice Hall, 1991.Google Scholar

303 Structured Systems Analysis and Design Methodology (version 4) from the SSADM College Ltd, 1996 at http://www.comp.glam.ac.uk/pages/staff/tdhutchings/chapter4.html.

304 Fleming, Candace C. and Halle, Barbara, Handbook of Relational Database Design, Addisson Wesley, 1989.Google Scholar

305 Maisell, and Gnugnoli, of Science Research Associates.Simulation of Discrete Stochastic Systems, Published in 1972.Google Scholar

306 Finkel, Raphael, Functional Programming, Addison-Wesley, 1996: Chapter 4 at ftp://ftp.aw.com/cseng/authors/finkel/apld/finkel04.pdfGoogle Scholar

307 Taylor, Paul, Practical Foundations of Mathematics, section 2.3 Sums, Products and Function-Types, Cambridge University Press, 1999, at http://www.dcs.qmul.ac.uk/~pt/Practical_Foundations/html/s23.html.Google Scholar

308 Finkbeiner, Daniel II, Kenyon College. Matrices and Linear Transformations, W. H. Freeman & Co., 1966, Chapter 1.Google Scholar

309 Thomas, George and Finney, Ross, Calculus and Analytical Geometry, Addison-Wesley, 1996.Google Scholar

310 Parzen, Emanuel, Stanford University.Modern Probability Theory and Its Applications, John Wiley, 1960, 1992.Google Scholar

311 Siegel, Sidney, Research Professor of Psychology, The Pennsylvania State University.Nonparametric Statistics for the Behavioral Sciences, McGraw-Hill, Kogakusha Ltd, 1956, 1988.Google Scholar

312 Wagner, M. Harvey of Yale University.Principles of Operations Research with Applications to Managerial Decisions, Prentice Hall, 1969, 1975.Google Scholar

313 Gillett, Billy E., Professor of Computer Science, University of Missouri-Rolla.Introduction to Operations Research: A Computer Oriented Algorithmic Approach, McGraw-Hill, 1976.Google Scholar

314 Kreysig, Erwin, Professor of Mathematics, Ohio State University.Advanced Engineering Mathematics, John Wiley & Sons, 1967, 1999.Google Scholar

315 Goodman, A. W., University of South Florida.Modern Calculus with Analytic Geometry, New York:MacMillan, 1967, 1974.Google Scholar

316 Durell, William R., The Complete Guide To Data Modeling, Data Administration Inc.

317 Durell, W., Data Administration: A Practical Guide to Data Management, New York:McGraw-Hill, 1985.Google Scholar

318 Pagnoni, Anastasia, Project Engineering: Computer-Oriented Planning and Operational Decision Making, Berlin: Springer-Verlag, 1999.Google Scholar

319 Dymond, Kenneth M., A Guide to the CMM: Understanding the Capability Maturity Model for Software, Process Transition International Inc., 1995.Google Scholar

320 Jeanie, Daniel Duck, Senior Vice President, the Boston Consulting Group.The Change Monster, Random House, 2001.Google Scholar

321 Moore, Geoffrey, Crossing the Chasm, New York:HarperCollins, 2002.Google Scholar

322 Inmon, W. H., A Brief History of Data Base Design, John Wiley, 1999.Google Scholar

323 Tom Mullins, Department of Physics, University of Oxford; David Holton, Department of Hydrogeology, Harwell Laboratory; Robert May, Department of Zoology, University of Oxford; J. M. T. Thompson, Center for Nonlinear Dynamics and Applications, University College of London; Peter L. Read, Department of Physics, University of Oxford; M. S. Child, Department of Chemistry, University of Oxford; and Jonathan Keating, Department of Mathematics, University of Manchester. The Nature of Chaos, Oxford University Press, 1993.

324 Chamberlin, G. J. and Chamberlin, D. G., Colour: Its Measurement, Computation and Application, Heyden & Sons, 1980.Google Scholar

325 Pekelis, V., Cybernetics A to Z, English translation, Moscow:Mir, 1974.Google Scholar

326 Aburdene, Maurice, Bucknell University.Computer Simulation of Dynamic Systems, Dubuque, Iowa:William C. Brown, 1988.Google Scholar

327 Law, Averill, President, Simulation Modeling and Analysis Company, Tucson, Arizona, USA and Professor of Decision Sciences, University of Arizona and W. Kelton, Associate Professor of Operations Research and Management Science, University of Minnesota.Simulation Modeling and Analysis, second edition, McGraw Hill, 1991.Google Scholar

328 Bertrand Meyer, Object-Oriented Software Construction Interactive, Software Engineering, Inc., 1993–2001. Key extracts are available at http://www.eiffel.com/doc/manuals/technology/oosc/inheritance-design/section_05.html

329 Fowler, Martin and Scott, Kendall, UML Distilled: Applying the Standard Object Modeling Language, Addison-Wesley Longman Inc., 1999.Google Scholar

330 Douglass, Bruce Powel, Real-Time UML: Developing Efficient Objects for Embedded Systems, Second Edition, Addison-Wesley Longman Inc., 1997.Google Scholar

331 Rumbaugh, James, Jacobson, Ivar, and Booch, Grady, The Unified Modeling Language Reference Manual, Addison-Wesley Longman Inc., 2004.Google Scholar

332 Booch, Grady, Rumbaugh, James, and Jacobson, Ivar, The Unified Modeling Language User Guide, Addison-Wesley Longman Inc., 1998.Google Scholar

333 Muller, Pierre-Alain, Instant UML, Birmingham, UK: Wrox Press Ltd, 1997.Google Scholar

334 Eugene Blanchard (Edited by Joshua Drake, Bill Randolph, and Phuong Ma), Introduction to Networking and Data Communications, Commandprompt, Inc and Copyright, 2001 at http://www.linuxports.com/howto/intro_to_networking/book1.htm

335 Smith, Howard and Fingar, Peter, Business Process Management: The Third Wave, Meghan-Kiffer Press, 2003.Google Scholar

336 The New Encyclopedia Britannica, 15th Edition, Encyclopedia Britannica Inc., 1988.

337 Mitra, Amit and Gupta, Amar, Agile Systems with Reusable Patterns of Business Knowledge: A Component Based Approach, Artech House, 2005.Google Scholar

338 Martin, James, After the Internet: Alien Intelligence, Regenery Publishing Inc., 2000.Google Scholar

339 Mitra, Amit and Gupta, Amar, Knowledge Reuse and Agile Processes: Catalysts for Innovation, The Idea Group, 2006.Google Scholar