# Register now to access 7 million high quality study materials (What's Course Hero?) Course Hero is the premier provider of high quality online educational resources. With millions of study documents, online tutors, digital flashcards and free courseware, Course Hero is helping students learn more efficiently and effectively. Whether you're interested in exploring new subjects or mastering key topics for your next exam, Course Hero has the tools you need to achieve your goals.

1 Page

### ocl-cheatSheet

Course: CS 445, Fall 2009
School: W. Alabama
Rating:

Word Count: 207

#### Document Preview

cheat OCL sheet Set (or Bag) of T Operation equals not equals size sum count includes excludes includes all excludes all is empty not empty union intersection difference Cartesian product insert remove Notation a=b a &lt;&gt; b a &gt;size() a &gt;sum() a &gt;count(t) a &gt;includes(t) a &gt;excludes(t) a &gt;includesall(b) a &gt;excludesall(b) a &gt;isEmpty() a...

Register Now

#### Unformatted Document Excerpt

Coursehero >> Alabama >> W. Alabama >> CS 445

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
cheat OCL sheet Set (or Bag) of T Operation equals not equals size sum count includes excludes includes all excludes all is empty not empty union intersection difference Cartesian product insert remove Notation a=b a <> b a >size() a >sum() a >count(t) a >includes(t) a >excludes(t) a >includesall(b) a >excludesall(b) a >isEmpty() a >notEmpty() a >union(b) c >intersection(d) c-d a >product(b) a >including(t) a >excluding(t) Result Type Boolean Boolean Integer Type T Integer Boolean Boolean Boolean Boolean Boolean Boolean Set/Bag of T Set/Bag of T Set of T Set of (TxT) Set/Bag of T Set/Bag of T KEY Operation there exists forall forall exists one any collect select reject Set (or Bag) of T Notation a->exists( i:T | exp) a->forall( i:T | exp) a->forall(i:T, ..., n:T | exp) a >one( i:T | exp) a >any( i:T | exp) a >col...

Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Allan Hancock College - NPAWBAVBCP - 2003950
Published in Gazette 23.1.2003 p 319South AustraliaNational Parks and Wildlife (Reserves) (Seal Bay andVivonne Bay Conservation Parks) VariationProclamation 2003under section 43(4) of the National Parks and Wildlife Act 1972Preamble1
Allan Hancock College - COMM - 11003
Lesson 9Information Gathering: Research and Information LiteracyObjectives: In order to be successful technical professionals, you will need to know about research and developments within your own industry. This section will discuss information gat
Allan Hancock College - COIS - 20078
Assessment details for all studentsAssessment item 1assignment 1Due date: Weighting: Submission: Friday of Week 5 20% Marks are equally distributed among the questions. Preferably typed. No electronic submission will be accepted.ASSESSMENT1(5 m
Allan Hancock College - COIS - 20027
COIS 20027 Digital Telecommunications and NetworksTopic Presentation 12 Network SecurityTextbook: Goldman, J. E. &amp; Rawles, P. T. (2001), Applied Data Communications: A BusinessOriented Approach, 3rd edition, John Wiley &amp; Sons, Inc., USA2Resour
Allan Hancock College - COIS - 20027
COIS 20027 Digital Telecommunications and NetworksTopic Presentation 8 InternetworkingTextbook: Goldman, J. E. &amp; Rawles, P. T. (2001), Applied Data Communications: A BusinessOriented Approach, 3rd edition, John Wiley &amp; Sons, Inc., USA2Resource
Allan Hancock College - COIS - 20027
COIS 20027 Digital Telecommunications and NetworksTopic Presentation 3 Data communications concepts and technologyTextbook: Goldman, J. E. &amp; Rawles, P. T. (2001), Applied Data Communications: A BusinessOriented Approach, 3rd edition, John Wiley &amp;
Allan Hancock College - WIN - 12169
Verification and ValidationqAssuring that a software system meets a user's needsIan Sommerville 2000Software Engineering, 6th edition. Chapter 20Slide 1ObjectivesqqqqTo introduce software verification and validation and to discuss
Allan Hancock College - COMM - 12018
Community relations04/24/09D.Alexander,CQU1Introduction Community relations (organisations being socially responsible); how notfor profits work and the SME market, of interest to regional Australia04/24/09D.Alexander,CQU2Social per
Allan Hancock College - COMM - 12018
Public Relations and the Internet04/24/09D.Alexander1Introduction &quot;It is a new agoor, to be more accurate, a new economy&quot;, Holtz,1999 &quot;Technology has redefined the role of corporate communication as a knowledge based profession&quot; Goldste
St. Mary MD - CAS - 701
CAS 701 Fall 200506 Simple Type TheoryInstructor: W. M. Farmer Revised: 11 October 20051What is Simple Type Theory? A simple, elegant, highly expressive, and practical logic. Familiar to some computer scientists but not to many mathematician
Allan Hancock College - MATH - 11162
84143 Elementary Mathematics BSchool of Mathematical and Decision Sciences WinterTerm, 1998Tutorial Sheet 8 Applications of differentiation: related rates, higher derivatives. (Washington section 24-4) The material covered in this tutorial is th
Allan Hancock College - ECON - 3101
School of Economics Australian National University Microeconomics 3 Mid-Semester Exam 2, 2003 Name: Tutorial Time: Student Number: Tutor:DIRECTIONS: Answer all two (2) questions on this sheet in the spaces provided. Show all working and calculation
Allan Hancock College - EMET - 3011
Australian National University Faculty of Economics and Commerce School of Economics Advanced Econometric Methods EMET3011/EMET8014 Mid-Term Exam. 9 May 2002 Attempt all questions. The value for each question is shown below. The exam uses the usual n
Allan Hancock College - ECON - 1100
AUSTRALIAN NATIONAL UNIVERSITY Second Semester Examination - 2004 ECONOMICS I (HONOURS) (ECON1100)Study Period : 15 minutes Time Allowed : 3 hours Permitted Material: Calculators non programmableANSWER ANY 6 OF THE FOLLOWING 8 QUES TIONS EACH QUE
Allan Hancock College - EMET - 3011
Australian National University Faculty of Economics and Commerce School of Economics Advanced Econometric Methods EMET3011/EMET8014 Mid-Term Exam. 8 May 2003 Attempt all questions. The total number of points on the exam is 75. The value for each ques
Allan Hancock College - INFO - 2110
What went right? 1995 to 2001INFO2110 Systems Analysis and ModellingLecture Week 9 First Semester 2006Time overruns (Average) Cost overruns (Average) Required features and functions Successful IT project 1995 222% 189% 61% 16% 2001 163% 145% 67% 2
Allan Hancock College - CIVL - 2201
Department of Civil Engineering CIVL2201 Structural Mechanics: Semester 1, 2006Quiz #1Name: _ Tutorial Group: _Put answers in the boxes provided.1) Consider a long piece of timber, with constant square cross-section, 55 55 mm. Given that the ti
Allan Hancock College - CIVL - 3206
School of Civil Engineering Steel Structures 1Design Assignment 2 Analysis Feedback from the marker Total assignments are 172 of 181. All marks were put in CIVL3206 spreadsheet file. Four groups of marks with common mistakes are detailed as follow
Allan Hancock College - CIVL - 3206
CIVL3206 Lab Report: Connections in Tension Feedback (2008)Mean: 3.33, Median: 3.5Total lab reports are 165 of 181. All marks were out of 5 and put in CIVL3206 spreadsheet file. Three groups of marks with common issues are detailed as follow: 1. V
East Los Angeles College - ELEC - 3035
ELEC 3035: Tutorial on controllability and observabilityLecturer: Ivan Markovsky1. State transfer of a mechanical system Consider the massdamper-springer mechanical system, described in Problem 1 from the tutorial on state space and polynomial rep
W. Alabama - ECE - 316
1Solutions to Problems of Chapter 5Ali AbediProblem 2 Using complement events we have, P (system functions for at least 5 months) = 1 P (system fails before 5 months)5(1) (2) (3)=10Cxex/2 dx.We can compute the above integral using inte
W. Alabama - ECE - 316
Solutions for Problem set 2 of Chapter 4+TTAli Abedi, email: ali@shannon.uwaterloo.ca
W. Alabama - ECE - 316
Chapter 6Problems2. (a) p(0, 0) =87 = 14/39, 13 12 85 = 10/39 p(0, 1) = p(1, 0) = 13 12 54 p(1, 1) = = 5/39 13 12876 = 28/143 13 12 11(b) p(0, 0, 0) =875 = 70/429 13 12 11 85 4 p(0, 1, 1) = p(1, 0, 1) = p(1, 1, 0) = = 40/429 13 12 1
Allan Hancock College - BA - 521
UNIVERSITY OF BALLARAT SCHOOL OF BUSINESS BA521 - PERSONAL FINANCIAL PLANNING 1SUGGESTED SOLUTIONSBeal, D. and McLean, W. 2006, Personal Finance, 3rd edn, Wiley, Milton, Qld.Chapter 2,Exercises 1 to 7E2.1 Prepare a cash flow budget for Kent
Allan Hancock College - BA - 506
Lecture Illustration 10A E10.11 Seer Manufacturing has projected sales of its product for the next six months as follows:The product sells for \$100, variable expenses are \$70 per unit, and fixed expenses are \$1500 per month. The finished product re
Allan Hancock College - BA - 937
BA937 TP3 2008 Study GuideSchool of BusinessQUESTION ONE (10 + 10 + 10 + 10 = 40 marks)Note: This question is pre-published to assist students prepare detailed and considered responses. Comprehensive answers of around 200 word on each part of the
Allan Hancock College - BUSINESS - 6553737
Technology &amp; Services PricingTechnologyIntegrated Data Projection (DP) Lecterns (including laptop computer, video, DVD, audio) Teleconferencing &amp; Polycom call-in teleconferencing Video/Web Conferencing Wireless internet access (name of user/s requ
Allan Hancock College - PD - 008
Interface Design Sample Exam QuestionsTRUE/FALSE, MULTIPLE CHOICE and FILL-IN BLANKS 1 2 3 4 5 To most users, the interface is the system. Beginning users tend to prefer command languages. A default value is one that contains screen field entry val
Allan Hancock College - CITP - 0158
Business SubsystemsRequirements CaptureBusiness Subsystems Sales sell goods or services to the public Production convert raw materials into finished products required by the business's customers Inventory stores details of businesses stock o
Allan Hancock College - CITP - 0018
Major Project System Model TemplateCover page Document Title Author(s) Reviewers Organisation Address Date Document Version Control Information Table of Contents 1. Introduction 1.1. Document Purpose Describes the purpose of the document, a
Allan Hancock College - CS - 229
Com S 229Spring 2007Dr. Markus LumpeProblem Set 3: Classes, Constructors, and DestructorsProblem 1 Sieve of Eratosthenes: We start with the integer number 2, which is the first prime. To obtain the rest of the primes, we continue by filtering
Allan Hancock College - CSC - 3403
Functional programming concepts Emphasis in this course is on pure (single assignment, no state), non-strict (lazy; only evaluate when needed) functional languages Haskell is example language functional programming involves evaluation of expressio
Allan Hancock College - CSC - 3403
Lecture topics Why study programming language concepts? Kinds of languages Evaluating languages Language characteristics Language design inuences Language implementation Language evolution Reading Sebesta 8ed chapter 1 Sebesta 8ed chapter 2
Allan Hancock College - CSSE - 3002
Semester 1, 2009ITEE, UQTutorial Week 7 Sample SolutionState machine for the Controller class:Comments: 1. Note: this is just a sample solution there could be other possible solutions. 2. The ^ symbol used in the transition effect indicates t
Allan Hancock College - CSSE - 3002
Overview The software process revisited Effective process implementation Process Maturity Process Improvement The Software CMM The Integrated Capability Maturity Model (CMMI)Lecture 12: Software Process ImprovementSchool of Information Tech
Allan Hancock College - COMP - 1900
East Los Angeles College - PHYS - 3007
x s ox s q q p 4qA~@34SFf}BRG 4F&amp;CA u fP{@569 7 7 7C1 A c1 | 3IG 7 z5yG7Xwx5641PGVvGQRCWAB9636u34t!BRuftHfiIFHH@3B36RDdfF@5b8WB r 3 7 I 1 C G 71 g A G G 1 sI G 3 7CI 7 S 7 GA c15 7 ACA w 5 w 75 h41 u m@38n s r kl q okl m@385 h41 u
East Los Angeles College - MATHS - 1008
MA1008 INTRODUCTION TO MATHEMATICAL METHODS Outline Solutions to Sheet 7: Derivatives1.a) Use standard rules for x2 and sin x. Use product rule to get d x cos2 x = x(2 cos x sin x) + cos2 x. dx d x2 + sin x + x cos2 x = 2x + cos x 2x cos x sin x
East Los Angeles College - PH - 115
UNIVERSITY OF SOUTHAMPTON SEMESTER 2 EXAMINATION 2002/03 OSCILLATIONS AND WAVES Duration: 120 MINSPH115W1Answer all questions in Section A and two and only two questions in Section B. Section A carries 1/3 of the total marks for the exam paper an
Allan Hancock College - FOE - 1000
Advertisement (Immunise Australia Program, Commonwealth Government, Canberra, August 2003)Meningococcal C vaccination Protection for your childLike most parents, you are probably concerned about the risk of your child developing meningococcal dise
Allan Hancock College - SVY - 4309
DGPS ConceptsLearning ObjectivesAfter completing this lecture you will be able to: Explain errors in point positioning List accuracy expected from various GPS measurement techniques Explain the process of Differential GPS Describe how errors a
Allan Hancock College - TEA - 2109
TEA2109 Educational Partnerships in Early ChildhoodLyn Bower Libby GaedkteCOMMONWEALTH OF AUSTRALIA Copyright Regulations 1969WARNINGThis material has been copied and communicated to you by or on behalf of The University of Southern Queensland
East Los Angeles College - PHYS - 215
University of SouthamptonSchool of Physics &amp; AstronomyPHYS2007 Medical PhysicsProblem Sheet 6Solutions to be handed in at the lecture on Friday 22 April, 20051. 2. If a 90 pulse is to last 5 ms, what strength of magnetic field B1 is required?
Allan Hancock College - CIV - 1501
CIV1501 ENGINEERING STATICS Week 10Semester 2, 2002Lecture Content - Strain energy applied to impact forces Strain energy applied to truss deflections (Module 13 in Study Book, Ch 10 in B &amp; J, Workbook exercises 31)STRAIN ENERGY Work done in de
East Los Angeles College - PHYS - 203
Section 2 Waves and Particles2.1 Wavepackets = A sin ( k x t )How can a wave look like a particle? Consider the standard form for a travelling wave: We dont know yet what this wave is supposed to be, but based on the results of Section 1 we can
Allan Hancock College - SVY - 3107
SVY3107 - GEODETIC SURVEYING B TUTORIAL/PRACTICAL AUSGEOID 98Today we will inspect some useful web sites and, in particular, see how to get N values from AUSGEOID98. Visit each of the following web sites and become familiar with their contents: http
East Los Angeles College - PHYS - 215
12.1Lasers in MedicineSources of visible [ violet 400 nm to red 750 nm wavelength], ultraviolet and infrared radiation. Generally: Intense Monochromatic Coherent Directional surgical use depends on delivery of high power density to tissue resultin
East Los Angeles College - PHYS - 203
Section 3 Schrdingers Wave Equation3.1 IntroductionWe have seen how to make a wavepacket (x,t) that may represent a particle-like object with wave-like characteristics. Now we want the tools to enable us to explore the mechanics of particles at th
East Los Angeles College - PHYS - 203
Section 4 Formal Structure of Quantum MechanicsIn this section we will discuss the mathematical framework of quantum mechanics, including operators and the expansion theorem and how these relate to the outcome of measurements of different physical p
Allan Hancock College - TECH - 858
Spoken language systems beyond prompt and responseP J Wyard, A D Simons, S Appleby, E Kaneen, S H Williams and K R PrestonSpoken language systems allow users to interact with computers by speaking to them. This paper focuses on the most advanced
Allan Hancock College - COMP - 248
Prolog ProgrammingA First CoursePaul Brna March 5, 2001Abstract The course for which these notes are designed is intended for undergraduate students who have some programming experience and may even have written a few programs in Prolog. They ar
Allan Hancock College - COMP - 347
Multimedia networksKR: Kurose and Ross chapter 7 (KR3: 3rd ed)Additional referencesC4: Douglas Comer, Internetworking with TCP/IP Vol 1: Principles, Protocols and Architecture 4th ed, Prentice-Hall 2000, chap 29. S(CNIPT): William Stallings, Comp
East Los Angeles College - MA - 210
MA 210 DIFFERENTIAL EQUATIONS II Solutions Exercise Sheet 2: Reduction of order and second order equations1. (a) y 3y + 2y A.E. m2 3m + 2 (m 1)(m 2) m = 1 or m = 2 so y (b) y + 4y + 13y A.E. m2 + 4m + 13 (m + 2)2 m = 2 3i so y (c) y 4y + y =
Allan Hancock College - BUSINESS - 14483973
Workshop Series: Semester 1, 2008System evolution post implementation: An appropriation perspectiveAssociate Professor Michael DavernUniversity of MelbourneFriday 2 May 2008Michael Davern joined the University of Melbourne as Associate Professo
Allan Hancock College - BUSINESS - 6553737
2008Innovation Leadership29 September 3 October 2008Proudly Presented by Dr John Steen, Dr Bob Westwood and Mr Tim KastelleCourse overviewInnovation has been described as the fundamental source of competitive advantage. It is critical to the
East Los Angeles College - MA - 210
MA 210 DIFFERENTIAL EQUATIONS II Solutions Exercise Sheet 8: PDE's: separation of variables1. (a) Let y(x, t) = X(x)T (t), so 1T X = 2 = X c T X - X = 0 Using X(0) = 0 and X(l) = 0 = - Thus Xn (x) = An sin nx l nct nct Tn (t) = Bn sin + Cn cos l
Allan Hancock College - HCAR - 199911999
HIGH COURT AMENDMENT RULES 1999 (NO. 1) 1999 NO. 197 HIGH COURT AMENDMENT RULES 1999 (NO. 1) 1999 NO. 197 - TABLE OF PROVISIONS1. Name of Rules 2. Commencement 3. Amendment of High Court Rules 1952 4. Transitional SCHEDULE 1 Amendment
Allan Hancock College - HIT - 3315
HIT3315Semester 2, 2008Dr. Markus LumpeSwinburne University Of TechnologyFaculty of Information and Communication TechnologiesLABORATORY COVER SHEETSubject Code: Subject Title: Lab number and title: Lecturer:HIT3315 Languages in Software
Allan Hancock College - HIT - 3315
HIT3315Semester 2, 2008Dr. Markus LumpeSwinburne University Of TechnologyFaculty of Information and Communication TechnologiesASSIGNMENT COVER SHEETSubject Code: Subject Title: Assignment number and title: Due date: Lecturer:HIT3315 Lang
Allan Hancock College - HIT - 3315
HIT3315Semester 2, 2008Dr. Markus LumpeSwinburne University Of TechnologyFaculty of Information and Communication TechnologiesLABORATORY COVER SHEETSubject Code: Subject Title: Lab number and title: Lecturer:HIT3315 Languages in Software
Allan Hancock College - HIT - 3315
C alculator.java / / HIT3315, (c) Markus Lumpe p ublic class Calculator { public static void main( String[] args ) { try { SimpleCalculator lCalculator = new SimpleCalculator( System. in ); lCalculator.eval(); } catch ( TokenM