Papers Intelligent agents
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
Business Process (re)engineering and e-commerce
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://188.8.131.52/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/
Ontologies and component re-use projects
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 Information Modeling in the Time of RevolutionInformation Systems 23 (3–4), June 1998., University of Toronto.
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).
Unified Modeling Language (UML)
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
Extended modeling language (XML)
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
Process/task/schedule management and models
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).
Process algebras and techniques
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 A Comparison of Techniques for the Specification of External System Behavior, Communications of the ACM, 31(9), 1105, 1988.,
81 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. and ,
82 On Visual Formalisms, Communications of the ACM, 31(5), 519, 1988.,
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 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.pdf and , Institute of Computer Science and Information Engineering, National Chiao Tung University, Taiwan and Jenn-Nan Chen of Samar Electronics Corporation Ltd, Taiwan.
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
Demand and supply chains and standards
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 Supply Chain Operations Reference Model (SCOR): The First Cross Industry Framework for Integrated Supply Chain Management, Logistics Information Management, 10(2), 62–67, 1997.,
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 The Other End of the Supply Chain, McKinsey Quarterly, (1), 62–71, 2000., , , and , Mckinsey & Co.
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 Managing Supply Chain Inventory: Pitfalls and Opportunities, Sloan Management Review, Cambridge 33(3), 1992. and ,
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 The 4+1 View Model of Architecture, IEEE Software, 12(6), 42–50, 1995. of Rational Software Corp., Canada.
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
User interface standards
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/
Agile processes and adaptive software
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
Mathematical foundations: set theory, number theory, category theory, theory of functions, lambda calculus, spaces and their properties, borel sets and tensors
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 Subspace Classifier in Hilbert Space, Pattern Recognition Letters, 20(5), 513–519, May 1999., Machine Understanding Division, Electrotechnical Laboratory, Japan.
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
Buckingham's pi theorem -- about the independence of physical laws from their units of measure
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
Information theory, chaos theory and miscellaneous publications
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 The Business Rule Book: Classifying, Defining and Modeling Rules, Database Research Group Inc, 1997.,
295 Reengineering The Corporation, Harper Collins, 1993. and ,
296 Business Component Factory: A Comprehensive Overview of Component-Based Development for the Enterprise, John Wiley & Sons, 1999. and ,
297 Conceptual Schema and Relational Database Design: A Fact Oriented Approach, Prentice Hall, 1989. and ,
298 Artificial Intelligence in Business, John Wiley & Sons, 1985, Chapter 4: Representing Knowledge, Chapter 5: Drawing Inferences. and ,
299 Analysis Patterns: Reusable Object Models, Addison Wesley Longman, 1997.,
300 ARIS, Business Process Frameworks, Springer-Verlag, August 1999.,
301 ARIS, Business Process Modeling, Springer-Verlag, November 1996.,
302 Object-Oriented Modeling and Design, Prentice Hall, 1991., , , , and at the General Electric Research and Development Center.
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 Handbook of Relational Database Design, Addisson Wesley, 1989. and ,
305 Simulation of Discrete Stochastic Systems, Published in 1972. and of Science Research Associates.
306 Functional Programming, Addison-Wesley, 1996: Chapter 4 at ftp://ftp.aw.com/cseng/authors/finkel/apld/finkel04.pdf,
307 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.,
308 Kenyon College. Matrices and Linear Transformations, W. H. Freeman & Co., 1966, Chapter 1. II,
309 Calculus and Analytical Geometry, Addison-Wesley, 1996. and ,
310 Modern Probability Theory and Its Applications, John Wiley, 1960, 1992., Stanford University.
311 Nonparametric Statistics for the Behavioral Sciences, McGraw-Hill, Kogakusha Ltd, 1956, 1988., Research Professor of Psychology, The Pennsylvania State University.
312 Principles of Operations Research with Applications to Managerial Decisions, Prentice Hall, 1969, 1975. of Yale University.
313 Introduction to Operations Research: A Computer Oriented Algorithmic Approach, McGraw-Hill, 1976., Professor of Computer Science, University of Missouri-Rolla.
314 Advanced Engineering Mathematics, John Wiley & Sons, 1967, 1999., Professor of Mathematics, Ohio State University.
315 Modern Calculus with Analytic Geometry, New York:MacMillan, 1967, 1974., University of South Florida.
316 The Complete Guide To Data Modeling, Data Administration Inc.,
317 Data Administration: A Practical Guide to Data Management, New York:McGraw-Hill, 1985.,
318 Project Engineering: Computer-Oriented Planning and Operational Decision Making, Berlin: Springer-Verlag, 1999.,
319 A Guide to the CMM: Understanding the Capability Maturity Model for Software, Process Transition International Inc., 1995.,
320 The Change Monster, Random House, 2001., Senior Vice President, the Boston Consulting Group.
321 Crossing the Chasm, New York:HarperCollins, 2002.,
322 A Brief History of Data Base Design, John Wiley, 1999.,
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 Colour: Its Measurement, Computation and Application, Heyden & Sons, 1980. and ,
325 Cybernetics A to Z, English translation, Moscow:Mir, 1974.,
326 Computer Simulation of Dynamic Systems, Dubuque, Iowa:William C. Brown, 1988., Bucknell University.
327 Simulation Modeling and Analysis, second edition, McGraw Hill, 1991., 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.
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 UML Distilled: Applying the Standard Object Modeling Language, Addison-Wesley Longman Inc., 1999. and ,
330 Real-Time UML: Developing Efficient Objects for Embedded Systems, Second Edition, Addison-Wesley Longman Inc., 1997.,
331 The Unified Modeling Language Reference Manual, Addison-Wesley Longman Inc., 2004., , and ,
332 The Unified Modeling Language User Guide, Addison-Wesley Longman Inc., 1998., , and ,
333 Instant UML, Birmingham, UK: Wrox Press Ltd, 1997.,
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 Business Process Management: The Third Wave, Meghan-Kiffer Press, 2003. and ,
336 The New Encyclopedia Britannica, 15th Edition, Encyclopedia Britannica Inc., 1988.
337 Agile Systems with Reusable Patterns of Business Knowledge: A Component Based Approach, Artech House, 2005. and ,
338 After the Internet: Alien Intelligence, Regenery Publishing Inc., 2000.,
339 Knowledge Reuse and Agile Processes: Catalysts for Innovation, The Idea Group, 2006. and ,