1CURRICULUMB.E Computer SoftwareApplicable from Fall 2010Department of Computer Software EngineeringMilitary College of Signals National University of Sciences and TechnologyiTableof ContentsTable of Contents...................................................................................................... i1. Introduction ......................................................................................................... 11.1 The Discipline of Software Engineering ............................................. 11.2 Vision .................................................................................................. 11.3 Aim...................................................................................................... 11.4 Software Engineering Degree Programs ............................................. 11.5 Objectives of BE Computer Software Degree Program...................... 31.6 Guidelines and standards..................................................................... 31.7 Area-wise List of Courses ................................................................... 41.8 Definitions and Keywords used in this Document. ............................. 92. Semester Wise Breakdown of Program............................................................. 103. Course Contents................................................................................................. 133.1 Computing Core Courses .................................................................. 13CS110-Fundamentals of Computer Programming.................... 13CS212-Object Oriented Programming...................................... 16CS250-Data Structures and Algorithms.................................... 18EE221-Digital Logic Design..................................................... 19CS220-Database Systems ......................................................... 20CS330-Operating System.......................................................... 20SE200-Software Engineering.................................................... 23MATH161-Discrete Mathematics............................................. 24CS320-Computer Networks ...................................................... 25CS260-Human Computer Interaction........................................ 27EE321-Computer Architecture & Organization........................ 27SE499-Senior Project ................................................................ 293.2 Software Engineering Core Courses.................................................. 30SE210-Software Design & Architecture ................................... 30SE312-Software Construction................................................... 30CS321-Software Quality Engineering....................................... 33CS311-Software Requirement Engineering.............................. 31SE430-Software Project Management ...................................... 34SE320-Formal Methods ............................................................ 353.3 Supporting Science Core Courses ..................................................... 36MATH111-Calculus-I ............................................................... 36MATH361-Probability and Statistics........................................ 37MATH222-Linear Algebra ....................................................... 37PHY101-Applied Physics ......................................................... 383.4 General Education Core Courses....................................................... 40HU109-Communication & Interpersonal Skills........................ 40HU218-Technical Business Writing ......................................... 42HU107-Pakistan Studies ........................................................... 43HU101-Islamic Studies ............................................................. 44HU222-Professional Ethics....................................................... 44iiCS100-Fundamentals of ICT .................................................... 46GMT471-Entrepreneurship ....................................................... 463.5 Software Engineering / Computing Electives.................................... 48CS352-Theory of Automata and Formal Languages................. 48CS381-Networks Security......................................................... 50CS370-Artificial Intelligence .................................................... 51CS473-Theory of Intelligent Systems ....................................... 51CS426-Digital Image Processing .............................................. 53CS361-Computer Graphics ....................................................... 55CS332-Distributed Computing.................................................. 55CS344-Web Engineering........................................................... 58MATH352-Numerical Methods................................................ 58CS380-Introduction to Computer Security................................ 60CS481-Computer Forensics ...................................................... 61CS334-Open Source Systems.................................................... 63CS482-System Incident Handling............................................. 65CS483-Information Security Management................................ 67CS423-Data Warehousing and Data Mining............................. 68CS340-Web Technologies-I...................................................... 70CS441-Web Technologies-II..................................................... 70SE423-Software Metrics ........................................................... 72SE422-Software Testing ........................................................... 74SE431-Software Engineering Economics ................................. 74CS453-Programming Languages .............................................. 76CS471-Machine Learning ......................................................... 77CS472-Natural Language Processing........................................ 77CS322-RDBMS Using Oracle .................................................. 79CS414-Advanced Java with emphasis on Internet Applications .............................................................................. 80CS331-System Programming.................................................... 80CS362-Multimedia System and Design .................................... 81SE301-Object Oriented Software Engineering ......................... 83SE490-Advanced Topics in Software Engineering................... 83CS222-Data Communication .................................................... 85CS321-Advanced Database Systems......................................... 87CS425-Management Information Systems................................ 88CS443-e-Commerce and Solutions ........................................... 90CS342-Mobile Computing ........................................................ 91CS251-Design and Analysis of Algorithms .............................. 91CS424-Information Retrieval .................................................... 93CS433-Applied Parallel Computing.......................................... 93CS213-Advanced Programming................................................ 95EE321-Signals and Systems...................................................... 96SE440-Business Process Automation ....................................... 96SE313-Design Patterns.............................................................. 97EE430-Telecommunication Systems ........................................ 98CS427-Wireless Networks ...................................................... 1003.6 Supporting Sciences Electives......................................................... 101iiiMATH133-Engineering Mathematics..................................... 101MATH234-Multivariable Calculus ......................................... 101MATH221-Number Theory.................................................... 102CS353-Fundamentals of Cryptography................................... 103OTM455-Planning Engineering Project Management ............ 105EE102-Basic Electrical Engineering....................................... 107EE210-Basic Electronics......................................................... 108EE477-Analog and Digital Communications.......................... 109MATH351-Numerical Methods.............................................. 110EE331-Digital Signal Processing............................................ 111EE215-Electronic Circuits & Devices..................................... 112EE414-Digital Electronics ...................................................... 1143.7 General Education Electives............................................................ 115ECO130-Engineering Economics ........................................... 115HU443-Psychology................................................................. 117GMT164-Introduction to Management ................................... 118GMT175-Intellectual Property Rights .................................... 11911. Introduction1.1 The Disciplineof Software EngineeringSoftwareEngineeringisthedisciplineofcreatinghigh-qualitysoftware environmentinasystematic,controlledandefficientmanner,while maintainingitaffordably.Itinvolvestheapplicationofengineering concepts,techniques,andmethodstodevelopthesoftwaresystems.A softwareengineeringprogram developsprofessionals whohaveamastery of software development principles, theory, practice, and process. Software Engineeringaimstousethescienceandtechnologyalreadyavailableto create products and tools for use. Software Engineering derives its essence from computer science as other engineering disciplines do from natural or life sciences, with an emphasis on issues of process, design, measurement, analysisandverificationprovidingastrongfoundationinengineering principles and practices as applied to software development.1.2 VisionTheSoftwareEngineeringeducationatMCSNUSTisfocusedon impartingtheknowledgeandtrainingtostudentswhichenablethemto harmonizetheorywithpractice,conceptwithapplication,andproblem withsolution.Itpreparesthemtoablyapplyengineeringprinciples, processesandpracticestosoftwarecomponentsandsystems,andtheir maintenance.Theprogramalso,inadditiontostudentsprofessional growth, attends to development of their personal and interpersonal skills. It helpsstudents toenhance theirability inoral andwritten communication, and their adaptability to group-work environments. The program strives to develop a capacity in the professionals for innovation and a passion for life longlearning.SEcurriculathusdevelopedreflecttheaimtosatisfy professionaldemandsoftheindustryandacademia.Thegraduatesthus producedare adequately equipped toexploit theopportunities andanswer the challenges offered by the modern world.1.3 AimThe aim of Department of Computer Software Engineering is to ConductBachelorofEngineeringinSoftwareEngineering,MasterofSciencein ComputerSciencesandPh.DProgramsUnder(NationalUniversityof ScienceandTechnology),withtheobjectivetoproducecompetentSoftwareEngineers and researchers to facethetechnologicalchallengesof21st century.1.4 Software Engineering Degree Programs 2Department ofComputerSoftwareEngineeringatMCSNUSTpresently running three programs of Software Engineering, these are:- BachelorofEngineeringinComputerSoftware- BEComputer Software Engineering - BE (CSE) MasterofScienceinComputerSoftwareEngineering- MS Computer Software Engineering - MS (CSE) DoctorofPhilosophyinSoftwareEngineering- Ph.D.Software Engineering - Ph.D.The Department of Computer Software Engineering focuses on conducting theBachelorofEngineeringDegreecourseinSoftwareEngineering consisting of 136 credits to be completed in 4 years.31.5 Objectives of BE Computer Software Degree ProgramThemainobjectiveofComputerSoftwareEngineeringprogrammeisto produce SoftwareEngineerswhohaveastrongknowledgeandskills relatedtoprinciples,theory,practicesandprocesses necessary toproduce quality software systems.1.6 Guidelines and standardsThecurriculumisbasedonHECsguidelinesforBachelorsprogramin SoftwareEngineering.ThecoursebreakdownassuggestedbyHECisshown in Table 1.1.Table 1.1 HEC GuidelinesMajor AreasCore/RequiredElectives CHsComputing 43218864.70%Software Engineering18Software Engineering (Application Domain)- 6Supporting Studies (Math/Science )12 92115.45%General Education15 122719.85%Total88 4813664.70% 35.30%TheMCS-NUSTrevisedcurriculumrevisedinMarch, 2010 isshownin the table 1.2.4Table 1.2 MCS-NUST Revised Curriculum (March, 2010)Major Areas Core/ Required ElectivesCHsComputing47208763.97%Software Engineering20Software Engineering (Application Domain) -Supporting Studies (Math/Science )13 102316.91%General Education16 102619.12%Total 96 4013670.58% 29.42%1.7 Area-wise List of CoursesList of courses in each category are listed below.A. Computing Core CoursesS.No Course Code Course NameLec/LabCHs1CS110 Fundamentals of Computer Programming3-1 42CS212 Object Oriented Programming3-1 43CS250 Data Structures & Algorithms 3-1 44EE221 Digital Logic Design3-1 45CS220 Database Systems3-1 46CS330 Operating Systems3-1 47SE200 Software Engineering3-0 38MATH101 Discrete Mathematics3-0 39CS320 Computer Networks3-1 410CS260 Human Computer Interaction3-0 311EE321Computer Architecture and Organization 3-1 412SE499 Senior Project 0-30-36Total 47B. Software Engineering Core Courses5S.NoCourse Code Course NameLec/LabCHs1SE312 Software Construction3-1 42SE210 Software Design and Architecture3-1 43SE321 Software Quality Engineering3-0 34SE430 Software Project Management3-0 35SE320 Formal Methods3-0 36SE311 Software Requirements Engineering3-0 3Total 20C. Supporting Science Core CoursesS.No Course Code Course NameLec/LabCHslMATH111 Calculus I3-0 32 MATH361 Probability and Statistics3-0 33 MATH222 Linear Algebra3-0 34 PHY101 Applied Physics3-1 4Total 136D. General Education Core CoursesS.No Course Code Course NameLec/LabCHs1HU109Communication and Interpersonal Skills 2-0 22 HU218 Technical & Business Writing2-0 23 HU107 Pakistan Studies2-0 24 HU101 Islamic Studies2-0 25 HU222 Professional Ethics2-0 26 CS100 Fundamentals of ICT2-1 37 GMT471 Entrepreneurship3-0 3Total 16E. Computing/SE ElectivesS. No Course Code Course NameCredit Hours 1 CS 332 Distributed Computing 3-12 CS 222 Data Communication 3-03 CS 423 Data Warehousing and Data Mining 3-14 CS 321 Advanced Database Systems 3-05 CS 340 Web Technologies-I 2-16 CS 381 Network Security 3-07 CS 443 E-Commerce and Solutions 3-08 CS 251 Design and Analysis of Algorithms3-09 CS 370 Artificial Intelligence3-110 CS 425 Management Information Systems 3-011 CS 490 Advanced Topics in Computing 3-012 CS 427 Wireless Networks 3-013 CS 361 Computer Graphics 3-114 EE 430 Telecommunication Systems 3-015 CS 342 Mobile Computing 3-016 CS 424 Information Retrieval 3-017 CS 426 Digital Image Processing 3-118 CS 433 Applied Parallel Computing 2-119 CS 213 Advanced Programming 3-1720 EE 231 Signals and Systems 3-021 EE 331 Digital Signal Processing 3-122 SE 440 Business Process Automation 3-023 SE 313 Design Patterns 2-124 SE 423 Software Metrics 3-025 SE 422 Software Testing3-026 SE 431 Software Engineering Economics 3-027 CS 453 Programming Languages 3-028 CS 471 Machine Learning 3-129 CS 472 Natural Language Processing 3-030 BIO 317 Computational Biology 3-031 BIO 215 Bioinformatics 3-032 CS 352Theory of Automata and Formal Languages3-033 CS 322 RDBMS Using Oracle 2-134 CS 414Advanced Java with emphasis on Internet Applications 3-135 CS 441 Web Technologies-II 3-136 CS 331 System Programming2-137 CS 362 Multimedia Systems and Design 2-138 CS 334 Open Source Systems 3-139 CS 380 Introduction to Computer Security 3-040 CS 481 Computer Forensics 3-141 CS 482 System Incident Handling 3-042 CS 344 Web Engineering 3-143 CS 473 Theory of Intelligent Systems 3-144 SE 301 Object Oriented Software Engineering 3-045 SE 490Advanced Topics in Software Engineering 3-046 CS 483 Information Security Management 3-047 MATH 352 Numerical Methods 2+18F. General Education ElectivesS. No Course Code Course NameCredit Hours 1 HRM 441 Human Resource Management 2-02 GMT 175 Intellectual Property Rights3-03 HU 103 Sociology3-04 HU 102 Psychology 3-05 HU 104 English Literature 3-06 FIN 100 Principles of Accounting 3-07 CS 309 Computing and Society 3-08 GMT 164 Introduction to Management 2-09 HRM 240 Organizational Behavior 2-010 ECO 130 Engineering Economics 2-0G. Supporting Science ElectivesS. No Course Code Course NameCredit Hours 1 MATH 112 Calculus II3-02 EE 210 Basic Electronics 3-13 CS 261 Computational Logic 3-04 CH 101 Chemistry 2-15 PHY 401 Advanced Physics2-16 MATH 232 Complex Variables and Transforms 3-07 EE 201 Engineering Mechanics3-08 MATH 221 Number Theory 3-09 CS 353 Fundamentals of Cryptography 3-010 EE 102 Basic Electrical Engineering 3-111 EE 215 Electronic Circuits & Devices 3-112 OTM 455Planning Engineering Project Management 2-013 EE 414 Digital Electronics 3-114 MATH 133 Engineering Mathematics 3-015 MATH 234 Multivariable Calculus 3-016 EE 477 Analog and Digital Communication 3-117 MATH 351 Numerical Methods 3 - 091.8Definitions and Keywords used in this Document.PreRequisites: Itisthesubjectorcoursethatisessentialtocomplete before taking the required subject or course. Credits Hours:A lecture of one hour duration per week per semester for asubjectcountable towards astudentsCumulativeGradePointAverage, willbeconsideredasonecredithour.However,incaseofseminars, tutorials and laboratory work, onecredit hour requires threecontact hours depending upon the nature of subject.Contact HoursA lecture of one credit hour duration per week is equal to one contact hour per week and a lab of one credit hour per week is equal to 3 contact hour per week depending on the subject.Cumulative Sum of contact hours for a lectures and its essential lab work for particular subject or course. SubjectorCourseASubjectorCoursemeansatopicorasubject related to an academic programme, which is to be studied by a student for a fixed number of hours during a semester. Each subject will carry a specific faculty code and number. 102. Semester WiseBreakdownof ProgramSemester 1S.NoCodeSubjects Theory Labs1CS 100Fundamentals of ICT 2 12HU 109Communication and Interpersonal Skills2 03MATH 161Discrete Mathematics3 04PHY 101Applied Physics*** 3 15MATH 111Calculus-I 3 06CS 110Fundamentals of Computer Programming3 1Total CHs 16 3Semester CHs 19Semester 2S. NoCodeSubjects Theory Labs1 HU 101 Islamic Studies*** 2 02 CS 212 Object Oriented Programming 3 13 EE 221 Digital Logic Design3 14 HU 107 Pakistan Studies***2 05 Supporting Science Elective I3 06 General Education Elective-I 2 0Total CHs 15 2Semester CHs 17NOTE:***Thesesubjectscanbeinterchangedandofferedindifferentsemesterssubjectto availability of faculty.11Semester 3S.NoCodeSubjects Theory Labs1 MATH 361 Probability and Statistics 3 02 CS 250 Data Structures & Algorithms 3 13 CS 220 Database Systems3 14 MATH 222 Linear Algebra3 05 SE 200 Software Engineering 3 0Total CHs 15 2Semester CHs 17Semester 4S.NoCodeSubjects Theory Labs1 EE 321 Computer Architecture & Organization3 12 CS 260 Human Computer Interaction3 03 SE 210 Software Design and Architecture 3 14 Supporting Science Elective II3 15 SE Elective-I 2 1Total CHs 14 4Semester CHs 1812Semester 5S.NoCodeSubjects Theory Labs1CS 330 Operating Systems 3 12HU 218 Technical & Business Writing*** 2 03 SE 311 Software Requirements Engineering 3 04CS 320 Computer Networks3 15HU 222 Professional Ethics*** 2 06 SE Elective-II 3 1Total CHs 16 3Total CHs 19Semester 6S.No Code Subject Theory Lab1SE 312 Software Construction3 12SE 320 Formal Methods3 03SE 321 Software Quality Engineering 3 04SE Elective III3 05General Education Elective II2 06Supporting Science Elective III3 0Total CHs 17 1Semester CHs 18NOTE:***Thesesubjectscanbeinterchangedandofferedindifferentsemesterssubjectto availability of faculty.13Semester 7S.No Code Subject Theory Lab1SE 430 Software Project Management 3 02GMT 471 Entrepreneurship 3 03SE Elective IV 3 04SE Elective V3 05General Education Elective -III3 06SE 499 Senior Project 0 3Total CHs 15 3Semester CHs 18Semester 8S.No Code Subject Theory Lab1General Education Elective IV3 02 SE Elective VI 3 13 SE 499 Senior Project 0 3Total CHs 6 4Semester CHs 10Overall CHs 115 21Grand Total (Credit Hours) 136

3. CourseContents3.1 Computing CoreCoursesCS110-Fundamentals of Computer Programming14Course Code:CS110Pre Requisite:NilCredits: 3+1 Contact Hrs:6Course Objectives:Themainobjectiveofthiscourseistointroducestudentsto computersystemsandtheunderlyingbasicconcepts.Students willalsolearninthiscourseprogrammingprinciplesand techniques in an appropriate programming language according to current industrial needs. At the end of this course students will be abletousefulandefficientsoftwareprogramstosolvebasic computing problems.Course Contents1 Introduction to Programming Languages:ProgrammingLanguages,Low Level,HighLevel,ProgrammingPhilosophy,ProceduralProgramming Concept,ObjectOrientedProgrammingConcept,Creatingcomputer Program.DefinitionofIDE,EditingaProgram&WorkingofIDEfor Program Compilation & Execution.2 IntroductiontoC++:Developmentofbasicalgorithms/flowcharts.Analysisandtestingofalgorithms.Fundamentalprogrammingconcepts, source file, object file, exe file.3 C/C++ProgrammingBasics:C/C++ProgramStructure,program statement,whitespaces,stringconstant,Variables,Input/outputwithcout and cin, Arithmetic operators, assignment and increment operators 4 LoopsandDecisions:Relationaloperators,loopsfor,do-while,while, decisions if , if-else, else-if, switch , logical operators and or not operators, control statement break, continue, go to statement5 Structures:Declaration,definingstrictvariables,andaccessingstructure members, nested strict, enumerations6 Pointers:Declaration,definingpointers,argumentpassingusingpointers, other uses and applications of pointers.7 Functions: Declaration,definingfunctions,comparisonwithlibrary functions,passingargumentsconstantsvariablesvalue,structuresas arguments,returningvaluesfromfunction,returningstructurevariables, passingdatabyreference,overloadedfunctions,inlinefunctions,default arguments,variables andstorage classes, autoexternal andstatic variables, const function arguments.8 ArraysandStrings: Definition,accessingelements,initialization, multidimensionalarrays,passingarraytofunction,arraytostructure,C-string variable constant, reading embedded blanks,multiplelines, copying stringsText Book: 1. C Programming using Turbo C++ by Robert Lafore1516CS212-Object Oriented ProgrammingCourse Code:CS212Pre Requisites:CS110 Fundamental of Computer ProgrammingCredits: 3+1 Contact Hrs: 6Course Objectives:The objectives of the course are to acquaint the students with the ObjectOrientedconceptsandterminologyandtoprovidethem withasolidfoundationfordevelopingsoftwareusingtheobject paradigm.Bythecoursecompletion,studentsshouldbe proficientinOOprogrammingusingC++andhavelearntthe basicsofObjectOrientedanalysisanddesign.Studentsshould thenbeabletodevelopsoftwaresolutionstoavarietyof problems given to them easily.Course Contents1 Introduction ProceduralversusOOprogramminglanguages.Evolutionof OO.OOconceptsandprinciples.CharacteristicsandAdvantagesofOO approach.2 ObjectsandClasses Classesandobjects,declaration,callingmember function,constructors,destructors,overloadedconstructors,objectsas arguments, default copy constructors, classes objects and memory, static class data, const and classes3 ArraysandStrings Definition,accessingelements,initialization, multidimensionalarrays,passingarraytofunction,arraytostructure,C-stringvariableconstant,readingembeddedblanks,multiplelines,copying strings,standardC++stringclass,definingassigningstringobjects,input/ output with string object4 OperatorOverloadingUnaryoperators,binaryoperators,oparguments, return value, nameless temp objects, post fix notation, overloading binary op, arithmeticop,concatenatingstrings,multipleoverloading,comparisonop, arithmetic and subscript op, data conversion between object and basics types, object and different classes.5 InheritanceDeriveandbaseclasses,specifying,accessingbaseclass members,protectedaccessspecifier,derived classconstructors,overriding memberfunctions,classhierarchiesabstractbaseclass,publicandprivate inheritance, multiple inheritance, container-ship classes within classes 6Pointers AddressesandPointers,Address-ofOperator,PointersandArrays, PointersandFunctions,Memorymanagement new anddeleteoperators,A linked list example.7 Streams and Files Stream classes, stream errors. File I/O with streams.Text Book: 1.ObjectOrientedProgramminginC++byRobertLafore.3/e SAMSReference: 1.UnderstandingObjectOrientedProgramming,Budd,Addison Wesley.2. C++: How to Programme, Deitel and Deitel, 4/e, Pearson.3. Thinking in C++, 2nd Edition, Bruce Eckel, Prentice Hall.1718CS250-Data Structures and AlgorithmsCourse Code:CS250Pre Requisites:CS110 Fundamental of Computer ProgrammingCredits: 3+1 Contact Hrs: 6Course Objectives:The objective of this course is to gain a solid understanding of the fundamentaldesign,analysisandimplementationofbasicdata structuresandalgorithms.Thecoursewillhelpthestudentsin developing the basic concepts in the specification and analysis of programs. Course Contents1 DataStructures IntroductiontoDatastructuresandtypesofdata structures.2 AlgorithmsDefinitionofalgorithm,runningtimeofalgorithm,examples, role of efficient algorithms.3 Recursion:DefinitionofRecursion,DirectandIndirectRecursion, Examples of Recursive Functions.4 Queues&Lists LinearQueue&ItsFeatures,LinearQueue Implementation,CircularQueue,LinkedList&ItsFeatures,LinkedList Implementation, Doubly Linked List & its Implementation.5 TheStack Stack&ItsImplementation,PostfixNotationConcept, Implementation Of Postfix Notation.6 Trees BinaryTrees,StrictlyBinaryTree,CompleteBinaryTree,Almost CompleteBinaryTree,BinaryTreeApplications,TraversingTrees,Pre-Order Traversing In-Order Traversing, Post-Order Traversing.7 Sorting BubbleSort,QuickSort,BinarySort,MergeSort,InsertionSort, Heap,HeapConstruction,HeapSort,HeapSortImplementation.Hashing & its Implementation8 Searching Linear and Binary Search.9 Graphs WhatAreGraphs,RepresentationOfDirectedGraphs,Graph Vocabulary,GraphOperations(AddVertex,AddEdge),C++ Implementation. 10 Hashing Hashing,dictionariesandhashtables,hashingfunction,hashing implementation using array and linked list.Text Book: 1.DataStructuresUsingC++,PrenticeHallInc.,1994,byAaron M. Tenebaum, Yedidyah Langsam Moshe J. AugensteinReference: 1. C++ How To Program, Prentice Hall Inc., 1994, by H.M. Deitel, P.J. Deital2.DataAbstraction&ProblemSolvingwithC++byFrankM. Carrano.3. Data Structures with C++ - Schaum Series..19EE221-Digital Logic DesignCourse Code:EE221Pre Requisites:NilCredits: 3+1 Contact Hrs: 6Course Objectives:Theobjectivesofthiscoursearetointroducestudentstothe fundamentals of a computer system design such as the instruction setarchitecture,datapath,MSI,LSIandsequentialcircuits.So afterthecourse,studentscanthenactuallydesignthese functional units for a given instruction set architecture. Course Contents1 Binary Systems: NumberSystems,Bin,OctalandHexnumbers,Base conversions,Compliments,Binarycodes,BinAddition,subtraction, Multiplication, Division, Bin Logic.2 Binary Algebra: Basic definitions, Basic theorems and properties, Functions, VennDiagrams,CanonicalandStandardforms,Conversionbetween canonical forms, Logic Operations, Digital Logic gates, Introduction to Logic families and their characteristics3 SimplificationofBooleanFunctionsKaranughMaprepresentationand simplificationofBooleanFunctions,ProductofSumssimplification,NAND andNORimplementation,Twolevelimplementations,QuineMcCluskey Method.4 CombinationalLogic: Designprocedure,Adders,Subtractors,Code conversion,Analysisprocedure,MultilevelNANDandNORcircuits, Exclusive OR and Equivalence functions5 Combinational Logic with MSI & LSI: BinParallelAdder,Decimal Adder,Magnitudecomparator,Decoders,Multiplexers,ROMfunction implementation, PLAs.6 Sequential Logic: Basicflip-flops,RSflip-flops,Dflip-flops,JK flip-flop,Tflip-flop,Master-SlaveandEdgetriggeredflip-flop,Analysisof clockedsequential circuits,Statereductionandassignment,Designof sequential circuits.7 MSI-Sequential Circuits:Registers,Shiftregisters,Ripplecounters, Synchronouscounters,Timingsequences,Memoryunit,Introductionto register transfer Logic.Text Book: 1.M Morris Mano, Digital Logic and Computer DesignReference: 1. FredrickHill&GeraldRPetersonDigitalLogicand Microprocessors2. B. Holdsworth Digital Logic Design3. Edward J McClukey Logic Design Principles20CS220-Database SystemsCourse Code:CS220Pre Requisites:NilCredits: 3+1 Contact Hrs: 6Course Objectives:Thiscoursewillprovideathoroughintroductiontothetheory andpracticeofdatabasesystems.Theemphasiswillbeon theoreticalconsiderationsinvolvedinmodelingdataandin designingtheefficientdatabasesystems.Studentswillalsobe abletoimplementthesystemsusingdatabasemanagement systems i.e. queries.Course Contents1 Storage of and access Data stored in files.2 Implementationofstorage/accesses algorithms likeindexing,hashingand rangeaccessesondatastoredinindependentfiles.Drawingconclusions regarding advantages/ disadvantages of data stored in files3 Conceptofdatabase,DatabaseManagementSystems.Advantagesof database management systems over file systems.4 Differentdatabasemodels Implementation,storageanddataretrieval strategies of Network threedatamodels- Network, Hierarchical andrelational data model, OODB, comparison with each other5 Query languages, SOL6 RelationalAlgebra theirsyntaxanduseinClientserverandsingleuser environments7 Transactionprocessing TypesandDifferentstagesoftransactions. Aborted/incompletetransactions,RollBackanddifferenttechniquesof recovery from the exceptional situation.8 Parallelexecutionoftransactions theirinherentproblems,limitations. Serialisation of transactions.9 Distributed Database System & Advance TopicsTextBook:1.C.Ricardo,DatabaseSystems,Principles,Design& implementation Macmillan, 1990. 2. C.J. Date, Database Systems, Mc Graw Hill, 1999.Reference:1.TechSigMovieser29,WhatisElectronicDataProcessing Concept 30 mins2. Gen Trg Movies ser 8, Data Communication 29 mins3. Gen Trg Movies ser 8, Data Representation 29 minsCS330-Operating SystemCourse Code:CS330Pre Requisites:CE-420 Computer Architecture and Organization21Credits: 3+1 Contact Hrs: 6Course Objectives:Courseaimstodevelopthefundamentalconceptsofoperating system.Thecoursewillalsocoverthebasicresource managementtechniques,issuesofperformance,avoiding deadlocksetctoequipstudentswithsufficientknowledgeabout the working mechanism of Operating System.Course Contents1 OperatingSystem Objectives&FunctionsofOperating System,Operating SystemCharacteristics,DesirableFeaturesofanOperatingSystem,Fetch& ExecuteCycle,Typicaloperationsperformedbytheprocessor,ProcessorMemory, Processor I/O, Data Processing, Control.2 I/OManagement&DiskScheduling Interrupts,Interrupts&theExecution Cycle,ShortI/OWait,LongI/OWait,KindsofInterrupts,Interrupt, Processing,MultipleInterrupts,Multi-Programming,I/OOrganization, GenericModelofanI/Omodule,I/OFunction,RequirementofanI/O Module,ExternalDevices,ClassificationoftheDevices,DifferenceBetween These Devices, Model of an External Device, I/O Communication Techniques, ProgrammedI/O,InterruptDrivenI/O,DMA,LogicalStructureoftheI/O Function,LocalPeripheral,CommunicationPort,FileSystem, I/OBuffering, Disk Scheduling, Disk Performance Parameter, Disk Scheduling Policies.3 ProcessManagement Process Management, Process States,BasicTwoState ProcessModel,ThreeStateProcessModel,FiveStateProcessModel, Creation&Termination ofProcessesSuspendedProcesses,SuspendedStates Model,CharacteristicsofSuspendedStateModel,ProcessDescription, OperatingSystemControlStructure,ProcessControlStructure,Process Location,ProcessAttributes,ProcessIdentification,ProcessorState Information,SchedulingofStateInformation,ProcessControlModesof Execution, CreationOf Processes, Process & Context Switching, Processes & Threads.4 Files Files,FileManagementSystem,ObjectivesoftheFileManagement System, MinimumRequirementsfromuserpointofviewforaFile ManagementSystem,FileSystemArchitecture,FunctionsofFile Management,FileDirectories,FileSharing,RecordBlocking,Secondary StorageManagement,FileAllocation, Pre-allocationVsDynamicAllocation, PortionSize,FileAllocationMethods,FreeSpaceManagement,Reliability, Disk Interleaving.5 Concurrency MotivationforConcurrency, Program StructuringAlternatives, ProcessInteraction,CompetitionAmongProcessesforResources,Mutual Exclusion, Dead Lock, Starvation, Requirements for Mutual Exclusion.6 MemoryManagement MemoryManagement,MemoryManagement Requirements,Equal&UnequalPartitioning,DynamicalLoading& SwappingofProcesses,MemoryManagementSchemes,VirtualMemory Concept, Paging & Segmentation.7 IntroductionToNetwork&DistributedO/S Motivation,Topology, Communication, Network Types & Operating Systems.TextBook: 1. Operating Systems by: William StallingsReference:1. Modern Operating System by: Tanenbaum2. Operating System Concepts by: L.J. Peterson2223SE200-Software Engineering Course Code:SE200Pre Requisite:Fundamentals of ICTCredits: 3+0 Contact Hrs: 3Course Objectives:Tohelpstudentstodevelopskillsthatwillenablethemto constructsoftwareofhighquality;softwarethatisreliable,and thatisreasonablyeasytounderstand,modifyandmaintain. Course fosters anunderstandingwhy theseskills are required by theprofessionals.Bythecoursecompletionstudentwillbeable to model any system before its development. Course Contents1 ConceptsPerspectivesonSoftware,WhatisSoftwareEngineering,History, Software Process, Life Cycle Models2 PhasesRequirementsEngineering,AnalysisandSpecification,Design Concepts, Software Architecture, Software Testing, Software Maintenance3 ManagementSoftwareProjectManagement,MeasurementandMetrics, ProjectPlanning,SoftwareQualityAssurance,RiskManagement, Configuration Management, Software Reliability4 MethodologiesFormalMethods,AlgebraicSpecification,Model-Based Specification,CleanroomSoftwareEngineering,HumanComputer Interaction, Component-based Development, Real-Time Systems 5 KnowledgeAreasCapabilityMaturityModel,LifeCyclesStandard ISO/IEEE12207,SoftwareEngineeringBodyofKnowledge,Software EngineeringasProfession,TheEvolutionofSoftwareEngineering, Certifications Text Book:1.SoftwareEngineering:APractitionersApproachbyGogerS. PressmanReference: 1. Software Engineering by Summerville24MATH161-Discrete MathematicsCourse Code: MATH161Pre Requisites:NilCredits: 3+0 Contact Hrs: 3Course Objectives:TodevelopmathematicalmaturityforStudentsenteringthe ComputerScienceprogramandcoverspecifictopicsrelevantto furtherstudyinComputerScience.Thecoursewillaimtomake studentsunderstandthebasicsetterminologyandoperations, characterizationofmathematicalrelationships,basicterminology andoperationsfortreesandgraphsetc.Bycoursecompletion students will have a good understanding of the discrete structures.Course Contents1. Logic: logicalFormandlogicalEquivalence,ConditionalStatements,Valid and Invalid Arguments, Predicates and Quantifiers.2. Relations: Relationsandtheirproperties,n-aryrelationsandtheir applications,RepresentingRelations,ClosuresofRelations,Equivalence Relations, and Partial Orderings.3. Graphs: IntroductiontoGraphs,GraphTerminology,RepresentingGraphs andGraphsIsomorphism,Connectivity,EulerandHamiltonPaths,Shortest Path Problems, Planner Graphs, and Graph Coloring.4. Trees: IntroductiontoTrees,ApplicationsofTrees,TreeTraversal,Trees and Sorting, Spanning Trees, and Minimum Spanning Trees.Text Book:1. DiscreteMathematicsanditsApplications,byKennethH. Rosen.2. Discrete Mathematics and its Applications, by Susanna S. Epp.Reference:1. Discrete Mathematics, by Morman L. Biggs.25CS320-Computer Networks Course Code:CS320Pre Requisites:NilCredits: 3+1 Contact Hrs: 6Course Objectives:Bythecoursecompletion,studentwillhavetheknowledgeof manykeyprotocolsunderlyingtheoperationoftheInternetand fundamentalideasofdesigningandevaluatingreliablenetwork. Course covers a range of topics from basicsuch as transmission, signalsetctotheadvancedonessuchasOSIlayers,mobile networks etc. The student would also be able to develop network based programs.Course Contents1. Introduction IntroductiontoNetworksprotocolsandstandardsline, configuration- NetworksTopologies,TransmissionModel,Categoriesof networks-Internetworks-TheOSIModelFunctionsoflayers-TCP/IP Protocol suite.2. SignalsandEncoding Annalsanddigitalsignals-periodicandaperiodic signalsTime andFrequencydomainssignals-AtoDconversion- DtoD conversion, D to A conversion, A to A conversion3. TransmissionofDigitalData DTE-DCEInterface-Modems56K Modems- Cablemodems GuidedandunguidedtransmissionMedia-Transmissionimpairment- Performance,ShannonCapacity- Media comparison..4. Multiplexing,ErrorDetectionandcorrection FDM,TDMandWDM-Multiplexingapplications _digitalsubscriberlines(DSL),FTTC- typesof errors- Errordetection- vertical,longitudinalandcyclicredundancy checks- Checksum-Error correction. 5. Data Link Control and Protocols Asynchronous protocols- character and BitorientedprotocolLinkAccessprocedures-linkDiscipline-flow control-Error control. 6. Local and Metropolitan Area Networks Project 802-Ethernet, token bus, TokenRing,FDDI-802.6(DQDB),SMDS,circuitswitchingandPacket switching. 7. Point-to point Protocol (PPP) Transition states- PPP Layers-Link control protocol- Authentication Network control protocol.8. FrameRelayandATM Framerelay operationLayers-congestion controlleakyBucketAlgorithmTrafficcontrol- ATMdesigngoals-ArchitectureSwitchingandSwitchFabrics-ATMlayers- serviceclasses-ATM applications. 9. NetworkingandInternetworkingDevices Repeaters- BridgesRouters-Gateways-Otherdevices- RoutingAlgorithms- Distancevectorandlink state routing, Congestion Control Algorithms.2610. TransportLayerandUpperOSILayersFructoseofTransportlayer-Commotionestablishmenttermination- OSItransportlayer- Application layer, Congestion Control11. TCP/IPProtocolSuite Overview- Networklayer- Addressing-Sunbathingprotocolsin NetworkLayer- Transportlayer (UDPand TCP)-clientservermodel- BootP- DHCP-DNS-TELENET-FTP-TFTP-SMTP-SNMP HTTP-word wide web.12. IntroductiontoMobileNetworksMobileAdhocNetworks,Issuesand Applications of MANETs, Reactive and Proactive Protocols13. Network Layer(Extension) Routingalgorithms,Shortest-pathproblems, OptimalityText Book: 1.DataCommunicationsandNetworking,SecondEditionby Behrouz Forouzan Reference: 1.Computer Networks by Andrew S. Tanenbaum27CS260-Human Computer InteractionCourse Code:CS260Pre Requisites:CS110 Fundamentals of Computer ProgrammingCredits: 3+0 Contact Hrs: 3Course Objectives:Acquiretheknowledgeandskillsneededtocreatehighlyusable softwaresystems.Thecoursewillcoverthedesignprocess, evaluationtechniques,designsolutionsevaluationaswellasthe appropriateusesofgraphicsetc.Bycoursecompletion,student willbeabletoutilizedesignconcepts/principlestosolve problemsusingtheintegrationofgraphicdesignelementsand techniquesforimportantprintandonlinedesignelements, including typography, color, icons, buttons and photographs.Course Contents1. Backgroundtohuman-computerinteraction.Underpinningsfrompsychology and cognitive science2. More background. Evaluation techniques: Heuristic evaluation3. Moreevaluationtechniques:Videotapedusertesting;cognitive walkthroughs4. Task analysis. User-centred design5. Usability engineering processes; conducting experiments6. Conceptual models and metaphors7. Designing interfaces: Coding techniques using colour, fonts, sound,animation, etc.8. Designinginterfaces:Screenlayout,responsetime,feedback,error messages,etc.9. Designing interfaces for special devices. Use of voice I/O10 Designing interfaces: Internationalization, help systems, etc. User interfacesoftware architecturesText Books:HCIModels,Theories,andFrameworks:Towarda Multidisciplinary Science by JohnReference: 1. Mary Rosson, John Carroll, Mary Beth RossonEE321-Computer Architecture & OrganizationCourse Code: EE321Pre Requisites:EE221 Digital Logic DesignCredits: 3+1 Contact Hrs: 6Course Objectives:Theobjectiveofthiscourseistostudycomputerarchitecture designbyexaminingarchitecturalconceptswithconsiderationof performance,usability,reliability,powermanagementetc.This coursecoversanumberoftopicssuchasInstructionSet 28Architecture,PipelineMicroprocessor,CacheandMemory, ParallelComputing,EmbeddedSystemsetctogivedeepinsight about the computer architecture to the students.Course Contents1. IntroductiontoComputerArchitecture,EvolutionofComputers,Typesof Computers, Hardware, Firmware and Software. Future trends.2. Programming model of 8086 family. Addressing Modes.3. Datatypes,complements,fixedpointrepresentation,floatingpoint representation, binary codes.4. RegisterTransferLanguage.BusandMemoryTransfer.ArithmeticMicro-operations,LogicMicro-operations,shiftmicro-operation,ArithmeticLogic Unit.5. InstructionCodes,ComputerRegister,ComputerInstruction,Timingand Control,InstructionCycle,Memory-ReferenceInstruction,Input-Output, Interrupt,CompletedescriptionanddesignofBasicComputer.Designof Accumulator and ALU.6. Assembly Language Programming with help of MASM and Debugger7. ControlMemory,AddressSequencing,Microprogram,Computer Configuration, Microinstruction format, Symbolic Microinstruction. The Fetch Routine, Symbolic Micro program, Binary Micro program, Design of Control Unit, Micro program Sequencer.8 MemoryHierarchy,MainMemory,CacheMemory,VirtualMemory, Memory Management. 9 GeneralRegisterOrganization,StackOrganization,Instructionformat, Addressing Modes, Date transfer and manipulation, Program Control, RISC & CISC Computer and their characteristics.10 ParallelProcessing,Pipelining,ArithmeticPipeline,InstructionPipeline, Vector Processing.Text Book: 1. Computer Architectureand Organization by John P.Hayes, 3rdEdition,McGraw -Hill.2.ComputerSystemArchitecturebyM.MorrisMano,Third EditionReference: 1. Computer Architecture by Morio De Blasi.2. Computer Architecture & Organization by A.J.Van De Goor.29SE499-Senior ProjectCourse Code: SE499Credits Hrs 7thSemester: 0+38thSemester: 0+3Course Objectives:Thepurposeofthiscourseistomakestudentsreadyfor theprofessionallife.Theprojectdevelopmenthelpsthem to know all those things which are required in the industry to carry out any project development. Thesis Procedure1 SyndicateformationandchoosingProjectAdvisorinthe4thweekof6thSemester2 Approval of Syndicate formation by the Dept in the 12thweek of 6thSemester3 Proposal Defence in the 12thweek of 6thSemester4 1stProgress Presentation 2ndand 3rdweek of 7thSemester5 2ndProgress Presentation 12thweek of 7thSemester6 3rdProgress Presentation3rdweek of 8thSemester7 4thProgress Presentation 10thweek of 8thSemester8 Final Presentation after the Final Exams.TextBook: As advised by Project SupervisorReference: As advised by Project Supervisor303.2 Software Engineering CoreCoursesSE210-Software Design & ArchitectureCourse Code:SE210Pre Requisites:SE200 Software engineeringCS212 Object oriented programmingCredits:3+1Contact Hrs: 6Course Objectives:The objective of this course is to enhance the abilities of students to developreusablesoftwaredesigns.Inthiscourse,studentsare introducedtoprinciplesofgooddesign,andtechniquesforthe evaluation of software design quality. The course will introduce the students to a number of design patterns and their applications. This course also covers the principal architectural issues associated withthedesignandconstructionoflargescalesoftwaresystems includingarchitecturaldesignanddocumentation,component models and technologies, and frameworks.Course Contents1 In-depth study of design patterns, building on material learned previously.2 Application of design patterns to several example applications3 In-depthstudyofmiddlewarearchitecturesincludingCOM,CORBA,and .Net4 Extensive case studies of real designs.5 Basics of software metrics; measuring software qualities6 Reengineering and reverse engineering techniques.7 Design patterns8 Application of design patterns to several example applications9 Case studies of real designs.10 Basics of software metrics; measuring software qualities11 Reengineering and reverse engineering techniques12 Buildingasignificantprojectusingoneormorewell-knownmiddleware architecture(practicals only)Text Book: 1. Software Architecture in Practice by Len BassReference: 1. Evaluating Software Architectures by Paul Clements2.EdRoman,MasteringEnterpriseJavaBeans&java2 PlatformSE312-Software ConstructionCourse Code: SE312Pre Requisites:CS110 Fundamentals of Computer ProgrammingSE200 Software EngineeringCredits: 3+1 Contact Hrs: 631Course Objectives:Thegoalofthiscourseisforthestudenttoacquirean understanding of the principles of and skills in current practices for,developingasolutiontoaproblemusingtheobject-oriented philosophy. Course covers range of topics including a currentprocessfordevelopingsoftware,formallanguages, parsing,theprocessesofproblem analysisetcwhichwillhelp thestudentstogetinsightintothesoftwaremodelingand construction.Course Contents1 The system engineering context (the software engineering process,already covered in previous course, a review)2 Basic principles of requirements analysis (approaches and notations)3 Requirements specification4 SDL structure and behavior5 SDL data and timers6 SDL - concurrency and dynamic process creation7 Introduction to languages and compilers8 Lexicalanalysis:formallanguages,regularexpressions,finitestate machines,deterministicandnon-deterministicfiniteautomata, transformationfromregularexpressiontoDFA,toolsforlexicalanalysis (Lex)9 Syntaxanalysis:parsetrees,ambiguity,context-freegrammars,LL(1) parsingmethod,semantic analysisandsemanticattributes (thissectionmay or may not be covered), different notations for specifying languages10 Chomskyshierarchy,Concurrency:conceptofconcurrency,sub-program level concurrency, semaphores, monitors, message passing, Java threads11 Implementation design12 Verification and validationText Book: 1. Software Engineering by Roger S. PressmanReference: 1.R.W.Sebesta,ConceptsofProgrammingLanguages,5thed., Addison-Wesley, 2002.2.A.V.Aho,R.SethiandJ.D.Ullman,Compilers,Principles, Techniques and Tools, Addison Wesley.CS311-Software Requirement EngineeringCourse Code:SE311Pre Requisites:SE200 Software EngineeringCredits: 3+0 Contact Hrs: 3+0Course Objectives:Understandtheroleofrequirementsengineeringwithinthe software life cycle. Compare and contrast, and valuate structured, object-oriented,data-oriented,andformalapproachesto 32requirementsmodelling.Gathertherequirementsnecessaryto developthespecifications,givenacustomerwhowantsa softwaresystemtobedeveloped.Develop aninformal requirementsspecification,givenasetofrequirements.Model, prototype, and specify requirements for a software system.Course Contents1 Basics. RequirementsEngineering,ChallengesinRequirements Engineering for Embedded Systems, Combining Requirements Engineering and Agents, Maturing Requirements Engineering Process Maturity Models, RequirementsPrioritisationforIncrementalandIterativeDevelopment,A Quality Model for Requirements Management Tools 2 The Importance of Requirements. WhatAreRequirementsand WhyAreTheyImportant?,WhyPlan?,ASuggestedStrategy,RequirementsActivitiesintheSystemLifeCycle,Investmentinthe RequirementsProcess,AProcessApproach,TheRequirementsPlan,FactorsAffectingYourCareerDecisions,ACommentConcerningSmall Projects, Case Study.3 The Roles of the RA.Suggested Roles of the RA, Case Study4 SkillsandCharacteristicsofanEffectiveRA. SkillsoftheRA, Characteristics of an Effective RA, Case Study 5 Types of Requirements. ViewsofRequirements,TypesDefinitionsand DescriptionsofRequirements,TypesBusinessRequirements,Stated Requirements Versus Real Requirements,User Requirements,High-Level or System-Level Requirements,Business Rules,Functional Requirements,NonfunctionalRequirements,DerivedRequirements,Design RequirementsandDesignConstraints,PerformanceRequirements,InterfaceRequirements,VerifiedRequirements,ValidatedRequirements,QualificationRequirements,TheIlitiesandSpecialtyEngineering Requirements,UnknowableRequirements,ProductRequirements,ProcessRequirements,LogisticsSupportRequirements,Environmental RequirementsSystem,Subsystem,andComponentRequirements TerminologiestoAvoidSourceorCustomerRequirementsNonnegotiable VersusNegotiableRequirementsKeyRequirementsOriginating Requirements Other Guidelines 6 Gathering Requirements. Plan the Approach, Case Study7 Best Practices for Requirements Development and Management 8 The RAs Specialty Text Book: 1. Software Requirements Engineering, 2nd Edition. 33CS321-Software Quality EngineeringCourse Code:SE321Pre Requisites:SE200 Software EngineeringCredits: 3+0 Contact Hrs: 3Course Objectives:Thecoursehelpsthestudentstounderstandandapplythe concepts of product and project life-cycle, error propagation, cost torepair,regressiontestingandtestconstructiontechniques. Coursehighlightsallthoseaspectswhichcanhelpinimproving the quality of a product. By the course completion student will be able to use the idea of usability engineering along with the above mentioned skills.Course Contents1 Introduction to software quality assurance2 Inspections and reviews3 Principles of software validation4 Software verification5 Software testing6 Specification based test construction techniques7 White-box and grey-box testing8 Control flow oriented test construction techniques9 Data flow oriented test construction techniques10 Cleanroom approach to quality assurance11 Software process certificationText Book: 1. CMM In Practice: Processes for Executing Software Project at Infosys by Jalote, Pankaj..Reference: 1.SoftwareTestingintheRealWorld:ImprovingtheProcessby Kit, Edward34SE430-Software Project ManagementCourse Code:SE430Pre Requisites:SE200 Software EngineeringCredits: 3+0 Contact Hrs: 3Course Objectives:Thestudentsofthecourseareexpectedtoachievethebasic knowledgeaboutthesizingandcostingsoftwareprojects, measuringperformanceofsoftwareduringdevelopmentand participateingroupprojectduringthecourse.Thecoursewill developtheskillssothatthestudentswill beabletodiscussthe basicconceptsofsoftwareprojectmanagement,planand implementtheprojects,performriskassessmentandemploy suitable mechanisms for tracking and controlling the projects. Course Contents1 Introduction & Fundamentals2 Software Development Fundamentals and Management Fundamentals3 Processes4 Planning & Scheduling5 Organization6 Estimation7 Work Breakdown Structure8 Risk and Change Management9 Quality & Application ToolsText Book: 1. Software Project Management by E. M. BennatanReference: 1. PMBOK Guide: A Guide to the project management body of Knowledge2.SoftwareEngineering: SoftwareEngineeringbyRogerS. Pressman35SE320-Formal MethodsCourse Code:SE320Pre Requisites:Discrete Mathematics, Data StructuresCredits: 3+0 Contact Hrs: 3Course Objectives:Mathematicalfoundationsforformalmethods. Formallanguages andtechniquesforspecification anddesign,includingspecifying syntaxusinggrammarsandfinitestatemachines.Analysisand verificationofspecificationsanddesigns.Useofassertionsand proofs. Automated program and design transformation.Course Contents1 Introductiontoformalspecification,Transformationaldevelopment, Specification analysis and proof, Program verification2 Objectsandtypes:Setsandsettypes,TuplesandCartesianproducttypes, Bindings and schema types, 3 Relations and functions, Properties and schemas, Generic constructions, 4 The Z Language, 5 Syntactic conventions6 Schema references, Schema texts, Predicates, Schema expressions, 7 Generics, Sequential Systems.Text Book: 1.Woodcock,J.C.P.andDavies,J.UsingZ:Specification, Refinement, and Proof, Oxford university Press References: 1.Huth,M.R.A.andRyan,M.D.,LogicinComputerScience: Modelling and Reasoning about Systems (2nd Edition), Cambridge University Press, 2004.363.3 Supporting Science Core CoursesMATH111-Calculus-ICourse Code: MATH111Pre Requisite:NilCredits: 3+0 Contact Hrs: 3Course Objectives:Courseenhancesthebasicknowledgeacquiredduringthe secondaryeducation,familiarizes thestudentswiththebasic conceptsofinfiniteseries,functionsofseveralvariables, multipleintegrals,derivativesetc.andstatestheirusagein solving general problems.Course Contents1 Derivatives Concept and idea of differentiation. Rules of differentiation. Rates ofchange.DerivativesofTrigonometricFunctions.TheChainRule,Implicit Differentiation. Related Rates of Change.2 Application of differentiation Extreme values of functions3 Integration Concept and idea of Integration,Indefinite integrals, Initialvalue problems,Integrationbysubstitution,RiemannsumsandDefiniteIntegrals, properties of definite integrals, Area under the curve, Mean value theorem.4 TechniquesofIntegration Basicintegrationformulas,Integrationbyparts, Partial Fractions, Trigonometric Substitutions, Improper Integrals5 Complex Numbers and Functions Complex Numbers, Complex Plane, Polar FormofComplexNumbers.PowersandRoots,ExponentialFunction, Trigonometric Functions, Hyperbolic Functions, Text Book: 1. Calculus & Analytic Geometry, 9thEdition by Thomas & Finney2.AdvancedEngineeringMathematics,7thEditionbyErwin KreyszigReference: 1. Advanced Modern Engineering Mathematics, by Glyn James2.Calculus, 6thEditionby E.W.Swokoski, M.Olinick,D.Pence, J. A. Cole.37MATH361-Probability and StatisticsCourse Code: MATH361Pre Requisites:NilCredits: 3+0 Contact Hrs: 3Course Objectives:Tointroducethebasicconceptofstatistics,randomnessand probabilityandbuildon theseconcepttodeveloptoolsand techniques to work with random variablesCourse Contents1 IntroductionProbability. The Sample Space. Simple Events,Events2 CombinatorialTheory (permutationsandcombinations)Conditional Probability, Bayes Formula.3 Discrete Random Variables , Introduction and Ideas4 ExpectedvalueforaDiscreteRandomVariable. ProbabilityDistributions for a Discrete Random Variables, The Binomial Probability Distributions, The MultinomialProbabilityDistributions,NegativebinomialandGeometric ProbabilityDist.HypergeometricProbabilityDistributions,Poisson Probability Distributions Moments and Moment Generating Functions.5 Continuous Random Variables, Introduction and ideas, Expected value for a ContinuousRandomVariableProbabilityDistributionsforaContinuous RandomVariables,TheUniformProbabilityDistributions,TheNormal Probability Distributions, Moments and Moment Generating Functions.6 BivariateProbability DistributionsforDiscreteandContinuousRandom. Variables,ExpectedValueoffunctionsofTwoorMoreRandomVariables. Independence, Covariance.7 IntroductiontoStatistics,TypesofData,Population,Sample,MethodsFor DescribingData,MeasuresofCentralTendency,Estimation,Testof hypotheses.Text Book: 1.StatisticsfoeEngineeringandtheSciences,3rdEditionbyW. Mendenhall & Terry Sincich.2.AdvancedEngineeringMathematics,7theditionbyErwin Kreyszig.References: 1.ProbabilityandStatisticsfortheEngineering,Computing,and Physical Sciences, by Edward R. Dougherty.2.ProbabilityandStatisticsforEngineeringandtheSciences,3rdedition by Jay L. Devore.MATH222-Linear AlgebraCourse Code: MATH222Pre Requisites:NilCredits: 3+0 Contact Hrs: 3Course Objectives:Studentswillbeabletoapplytheconceptsandmethods described in the outline,will be able to solve problems using linearalgebra,willknowanumberofapplicationsoflinear 38algebra,andtheywillbeabletofollowcomplexlogical argumentsanddevelopmodestlogicalargumentsafterthe coursecompletion.Sostudentswilldevelopabstractand criticalreasoningbystudyinglogicalproofsandthe axiomatic method as applied to linear algebra. Course Contents1 Introduction Linear Systems. Matrices. Basic Concepts and Idea2 Matrix Algebra3 Solution of Linear Equations: Gauss Elimination, Gauss-Jordan Method4 Determinants CofactorExpansionandApplications.InverseofaMatrix, Kramer Rule5 Vectors in the Plane,n- Vectors Cross Product in R36 Vector Spaces and Subspaces, Linear Independence, Rank, and Bases.7 LinearTransformations The Kernel andRange of aLinearTransformation. The Matrix of a Linear Transformation.8 EigenValuesandEigenVectors.Diagonalization.Application.Linesand Planes.QuadraticForm.LinearEconomicModels.GraphTheory.Least Squares.Text Book: 1.IntroductiontoLinearAlgebrawithApplicationsbyBernard Kolman.References: 1.AFirstCourseinLinearAlgebra,2ndEditionbyHalG.Moore and Adil Yaqub.2.IntroductiontoLinearAlgebra,2ndEditionbyLeeW.Johnson, R. Dean Riess and Jimmy T. Arnold.3.AdvancedEngineeringMathematics,7thEditionbyErwin KreyszigPHY101-Applied PhysicsCourse Code: PHY101Pre Requisites:NilCredits: 3+1 Contact Hrs: 6Course Objectives:To equip the student with the advance concepts of the physics. Coursebrushesthebasicknowledgeofstudentsbystarting fromthebasicconceptsandthenprogressesgraduallytoward theadvanceconcepts.Bythecoursecompletion,students wouldhavedevelopedgoodunderstandingofphysics fundamentals. Course Contents1 Electrostatics: Coulombs Law and its application.2 The Electric Field. : Calculationofelectricfield,GausssLaw&its applications3 Potential. : Relationbetweenpotentialenergy,work,potential difference, potential gradient, the electron volt etc.394 Capacitance & Dielectrics. : MolecularTheoryofinducedcharges Current, resistance& EMF, voltage & power in electrical circuits.5 The Magnetic Field: Motion of charges in electromagnetic field.6 Semiconductor/SolidStatePhysics: Freeelectrontheoryofsolids,the bandtheory ofsolids.Intrinsicsemiconductors,extrinsicsemiconductors. Properties of current carriers, PN Junction, Doping, PN Diodes transistors.7 Thermodynamics: First& second law, application8 EMWaves: Introduction,speedofanelectromagneticwave,energyin electromagneticwaves,electromagneticwavesinmatter,sinusoidal waves, standing waves, radiation from an antenna. 9 Nature&PropagationofLight:Theelectromagneticspectrum,light spectrum,waves,wavefronts,reflection&refraction,totalinternal reflections,Huggenprinciple/dispersion,absorptionoflightlaser,laser diods.10 ProjectedPractical/Research:Practicalworktoincludedetailed descriptionoftheinstrumentsinelectronicslab.Inadditionavailable practical on light, connecting up a circuit.. Text Book: 1. University Physics by G.W. Sears2. Electronic Devices by Dr Manzer Saeed 3. Essentials of Engineering Chemistry by Dr M. Amjad4.PhysicsforengineersandscientistsbyD.ElwellandA.J. Pointon Reference: 1. Solomon Gratenhaus "Physics, Basic Principles"2. McCormick "Fundamentals of Physics"3. Keller "Physics, Classical and Modern4. Halliday and Resnik "Physics"5. Beiser "Perspectives of Modern Physics"6. Leibof "Quantum Mechanics"403.4 General Education Core CoursesHU109-Communication & Interpersonal SkillsCourse: HU109Pre Requisites:NilCredits: 2+0 Contact Hrs: 2Course ObjectivesTo develop good English writing, language usage, speaking and readingskills.Courseaimstohighlighttheimportanceof businesscommunicationandtodevelopunderstandingof communicationconcepts,principles,theoriesandproblems.By theendofcourse,studentswouldhavedevelopedgoodoral communication and presentation skills.Course Contents1 Communication Skills: a. Introduction b. Components & Principles of Communication2 Language Skills Listening:a. Importance, Misconceptions/ Myths b. Listening Barriers, Listening Efficiency, Typesc. Effective Listening3 Language Skills-Speaking:a. Verbal Communication, Presentation Skillsb. Non-Verbal Communication4 Language Skills-Reading:a. Purpose, Techniques, Strategies5 Language Skills-Writing:a.QualitiesofeffectiveWriting,SentenceStructure,Writing Techniquesb. Patterns of Essay Writingc. Citing Sources (Bibliographic Conventions)6 Practical work/ Class Activities a. Public Speakingb. Group Discussionsc. Formal Presentation of Individual Research Paper (IRP)d. Review of Documentarye. Skimming and Scanning7 Interpersonal Skillsa. Interviewingb. Telephoningc. Meetingd. Negotiation8ProjectWriting an individual research paper (IRP)41Text Book: 1.CommunicationSkills2ndeditionbyLeenaSen,Prentice-Hall New Delhi2.CommunicationSkillsforEngineersbySunitaMishra,Prentice-Hall New DelhiReference: 1.EffectiveBusinessCommunication7th editionbyHertaA. Murphy42HU218-Technical & Business WritingCourse Code: HU218Pre Requisites:NoneCredits: 2+0 Contact Hrs: 2Course Objectives:Course focuses on developing awareness and understanding of researchmethodologiesandtoprovidethenecessary backgroundforstudentstosuccessfullyundertaketheproject activityanddissertation.Bycoursecompletion,thestudents will be able to apply an appropriate research strategy, critically analyzeresearchreportsanddata,generateresearchsupport, undertakesa literaturesearchonaresearchtopicetc.Sothey willbeabletodisseminateresearchintermsofreportsand journal publications.Course Contents1 Technical Writing (03 Weeks) Technical Writing- Introduction and Characteristics Difference between Technical and Academic Writing The Technical Writing Process Objectives in Technical Writing Communication Models and The CMAPP Analysis2 Correspondence (08 Weeks) Memorandum Professional Letters Electronic Communication Employment Communication News Releases Instructions / Manual Writing3 Research Writing (03 Weeks) Abstract/Summary Data Collection Formal ProposalPractice Correspondence (Assignments) Formal Proposal Writing (Research Writing)4 Presentation of formal Proposal(02 Weeks)Text Book: 1. Technical Writing for Success by Sue Mehlich & Darlene Smith-Worthington2. Survivor Guide to Technical Writing by David Ingre.References: 1. Technical Writing Process andProduct by Sharon J. Gerson& Steven M. Gerson2. Effective Technical Communication by Anne Eisenberg43HU107-Pakistan StudiesCourse Code: HU107Pre Requisites:NoneCredits: 2+0 Contact Hrs: 2Course Objectives:Todeepentheunderstandingofthesocialandpolitical movementsthathasshapedPakistanisocietyandculture. Coursealsointroducesthestudentstothecontending perspectivesontheoriginsofPakistan,thedynamicsof pluralisticsocietywhichhaveshapedthecivicandpolitical cultureofPakistanandimpactofregionalandinternational environment on Pakistan's domestic and foreign policy choices. Course Contents1 OriginsAndDevelopmentOfPakistanMovement Part - I: Thebasicand relevanceoftheIdeologyofPakistantoIslam&Muslimfreedomstruggle. Part-II Theflowofevents,politicalactorsandinteractionsfromthe1857 'Warofindependence'andtheroleofSyedAhmedKhantothedemandof Pakistan, its ultimate fulfilment under the able leadership of Quaid-i-Azam. 2 Development Of Political & Constitutional System In PakistanSociety,State,ElementsofState;i.e.Executive,Legislatureandjudiciary. HistoryofConstitutionaldevelopmentinPakistanfrom1947to2004, different political System experimented so for , Political crisis. 3 EconomicDevelopmentInPakistan IndianMuslimsconditionsduringthe BritishPeriod&EconomicProblemsatthetimeofindependence.Pakistans planningexperience:Five-yearplans,NationalIncome,savingsand investments, Monetary theory and fiscal policy, inflation, balance of payments foreign assistance.4 ForeignPolicy&RelationsofPakistan The Geo-strategicimportanceof Pakistan.ThebasicprinciplesandbroadgoalsofPakistanforeignpolicy. NeedtoredefinethegoalsanddirectionofPakistansforeignpolicy. ConstructiveandmutuallyrewardingrelationswithIndia,Pakistansrolein central Asia and Afghanistan, Relations withU.S, China, Iran and Russia.5 Educational&TechnologicalProgressInPakistan StatusofEducation in Pakistan.Impactofinformationtechnologyandsatellitesoneducation. Development of an educational system.6 Social&EnvironmentalProblemsinPakistan Poverty,Gender discrimination, Water management, Pollution, populations & othersText Book: 1. The Emergence of Pakistan By Chaudhary Muhammad AliReference: 1.EconomicandSocialProgressinAsia.UmarNoman,Karachi, 19992.PakistansForeignpolicy:AnHistoricalanalysis:S.M.Burke, 19933.Newspapers editorial and selected journalistic writings.44HU101-Islamic StudiesCourse Code: HU101Pre Requisites:NilCredits: 2+0 Contact Hrs: 2Course Objectives:Toimpartanunderstandingofthefundamental principles/teachingsofIslamthroughstudyofversesofthe QuranandPropheticSayings,importantfacetsoftheProphets lifeandsalient,featuresofIslamicCivilization.Courseaimsto provideappreciationofotherprominentreligions,systemsof ethicsandculturestopreparestudentstosurvivein international/multicultural work place.Course Contents1 Study of Quran Fazail e-Quran, The Miricles of Quran,Compilation of Quran, Usool-e-Quran,StudyofSuraAl-Hujurat(TheChambers),StudyofSuraAl-Furqan (The Criterion), Ayat.ul Kursi, Sura Al Akhlas2 StudyofHaddees Definition,DifferencebetweenHadeesandSunnah,The types of Hadees, Parts of Hadees, The compilation, Importanceof Hadees , Six books of Hadees, Study of Slected Ahadees3 Sirat-Un-Nabi Life of Holly Prophet(PBUH)before Prophethood,andafter Prophethood,Reasons/Causesofmigeration,EstablishmentofIslamicState, ThePactofMadina,SelectedBettless,TreatyofHudaibia,Conquestof Mekkah, The last Sermon, Death.4 The Philosophy of Islamic Beliefs The Articles of Faith. Oneness of Allah, The Angles, The Prophets, Revealed books, The day of Judgment, Life after death.b. The Pillarsof Islam: Tawheed, Namaz, Roza, Hajj, Zakat, and Jihad.5 DifferentTopics ThecharacteristicsofIslamicideology,HuqooqAallah, Huqooq-ul- Ebad, Place of Women in Islam, The Rights of Elders, Kasbe-Halal, Truthfulness, Taqwa TawakulText Book: 1. Islami Taleemat by Prof Abdul Hameed Tigga, A One PublisherHU222-Professional EthicsCourse Code:HU222Pre Requisites:NilCredits: 2+0 Contact Hrs: 2Course Objectives:All thedegreeprograms offeredin differentuniversities/institutes arenot ableto providea broaderoutlookon some very important aspects of everyday life. So graduates are still unprepared to work inprofessionalenvironmentsaftertheirdegree.Thiscourseaims tohelpthestudentsfindanswerstothemeaningoflifeandto illuminate the struggle between right and wrong. Course Contents451 Understanding Ethics (01 Week) Profession Ethics Professional Ethics2 Origin and Development of Human Society and Ethics (03 Weeks)Culture and SocietySocial and Cultural DevelopmentEthnocentrism & XenocentrismCulture and Humanity3 Personality and Moralization (03 Weeks) The meaning of Personality Factors in the development of personality Moralization and the self Desirable and undesirable personality traits4 Ethics - Role and Status (01 Week) Moralization through role and status Ascribed and Achieved Status Character Ethics5 Moral Philosophy & Theories (01 Week) Utilitarian Right, Duty & Virtue6 Ethics & Role of Social Institutions (02 Weeks) Family Religion Education7 Contemporary Moral Issues (03 Weeks) Moral Dilemma Problem Solving Concept of Safety & Risk Gender Welfare Environmental Ethics8 Project:Selected Engineering Case StudiesText Book: EngineeringEthics:ConceptsandCasesbyHarris,C.E.WordsworthReference: Engineering Ethics by Charles B Pearson Education46CS100-Fundamentals of ICTCourse Code:CS100Pre Requisite:NilCredits: 2+1 Contact Hrs: 5Course Objectives:This is an introductory course on Information and Communication Technologies.TopicsincludeICTterminologies,hardwareand softwarecomponents,theInternetand Web,andICTbased applications.Course Contents1 Introduction: IntroductiontoIT,Computing&Communication, Understanding Computer, Peripheral Devices2 Hardware: HardwareTechnology,SystemUnit,StorageDevices, Input/Output devices, Output Devices, Telecommunications3 Computer Software: Operating Systems, Application Software, Microsoft Office4 InternetandWeb: WorldWideWeb,Browsers&SearchEngines,Web Page Basic Design5 Introduction to Data Communication and Computer NetworksConnectivity,Interactivity&Multimedia,InternetAccessDevicesand connectingmedias,BasicsofDigital&AnalogueSignal,Digital Communication, Networks & Protocols6 Development: SystemDevelopment,IntroductiontoProgramming, Programming Languages, Problems solving Techniques7 Introduction to Software EngineeringText book: 1. IntroductiontoComputers byPeterNorton,6thInternational Edition (McGraw Hill)Reference: 1.UsingInformationTechnology:APracticalIntroductionto Computer&CommunicationsbyWilliamsSawyer,6thEdition (McGraw Hill)2. Computers, Communications & information: A user's introductionbySarah E. Hutchinson, Stacey C. Sawyer3. Computing Essentials byOLeary, OLeary, (McGraw Hill)GMT471-EntrepreneurshipCourse Code:GMT471Pre Requisite:NilCredits: 3+0 Contact Hrs: 3Course Objectives:Thiscoursewillintroducestudentstotheconceptsof entrepreneurshipsothattheyhavethenecessaryskillsetto exploreentrepreneurialopportunitiesinordertocreatevalue, 47generate wealth and serve society.Course Contents1 The Entrepreneurial Process, Entrepreneurs and Enterprise2 EvolutionandCompetitioninTechnologyMarkets,TechnologyLeaders The Entrepreneurs of Silicon Valley, The New Internet Entrepreneurs3 The State of the Art of Individual Entrepreneurship, The State of the Art E-Business4 Communication and Presentation Skills5 BusinessPlans:1.IndustryandCompetitorAnalysis(Opportunity Recognition)2.Company3.ProductandServicesDescription(Idea Generation), 6 BusinessPlan:4.MarketingPlan:a) EntrepreneurialMarketingb) MarketingManagement,5.Operations6.DevelopmentPlan:a)Human ResourceManagementb)GrowthStrategies:ManagingaGrowing Business ; Franchising, Management: Fundamentals of Management7 Business Plan:Legal Form of Business: a) US Structures b) Pakistan Structures 8 Business Plan: 9. Critical Risks (Challenges) a) Intellectual Property b) Intellectual Capital / Property,9 Business Plan: 10. Financial Plan (Start-up Finance, Revenue Projections), Pro Forma Financial Statements, Funding Sources: a) Venture Capital b) Debt and Other Forms of Finance c) Financing of Enterprise d) Lease Financing and Hire Purchase, New Venture Finance f) Working Capital Management c) Offering (Funding request) Harvesting, The Real New Economy.Text Book: 1.Entrepreneurship:StrategiesandResourcesbyMarcJ.Dillinger, Third Edition (Pearson Education)Reference: 1.EssentialsofEntrepreneurshipandSmallBusinessManagement, Thomas W. Zimmerer, Norman M. Scarborough, Pearson Education483.5 Software Engineering /Computing ElectivesCS352-Theory of Automata and Formal LanguagesCourse Code: CS352Pre Requisites:NilCredits: 3+0 Contact Hrs: 3Course Objectives:The major objective of this course is to introduce the students to the concepts of theory of computation in computer science. The coursewillhelpthestudentstoacquireanddevelopinsights intotherelationshipamongformallanguages,automata, grammars and Turing theory.Course Contents1 LanguagesandRegularExpressions: Defininglanguages,Kleeneclosure, Definitionofregularexpressions(REs),Languagesassociatedwithregular expressions.2 FiniteAutomata(FA): DefinitionofFAs,FAsandtheirlanguages, TransitionGraphs(TGs),Nodeterminism,UnificationofREs,FAsand TGs.3 FiniteAutomatawithOutput:Mooremachine,Mealymachines Equivalence of Moore and Mealy machines, Transducers4 RegularLanguages: Union,concatenation,Kleene closure,complementation andintersectionofregularlanguages,Decisionproceduresforthefiniteness, and equivalence, Nonregular languages Pumping lemma.5 Context-Free Grammars (CFG): Symbolismforgenerativegrammars, Regular grammars, Chomsky normal form, Leftmost derivations.6 Pushdown Automata (PDA): Adding input tape and pushdown stack to FAs, DefinitionofPDAs,Noncontextfreelanguages,Closure,intersection,and complementofcontextfreelanguages,Decisionproblems,emptiness, uselessness, finiteness, The CYK algorithm, Parsing.7 Turing Theory: Turingmachines,Postmachines,TwostackPDA, Recursivelyenumerablelanguages,Type0grammars,TheuniversalTuring Machine.TextBook:1. IntroductiontoComputerTheory,2ndEdition,byDanielIA. Cohan John Wiley, 1997.Reference:1. An Introduction to the Theory of Computations, by Eitan M. Gurari Computer Science Press, 1989.2. Automata Theory: Machine and Languages, by Richard Y. Kain McGraw Hill Book Company, 19723. Automata and Formal Languages: An Introduction, by Dean Kelley Prentice Hall, October 1995.4. Automata and Computability, by Dexter C. Kozen Springer Verlag, 1997.5. An Introduction to Automata Theory, by M.W. Shields Books Britain, 1988.4950CS381-Networks SecurityCourse Code: CS381Pre Requisites:CS320-Computer NetworksCredits: 3+0 Contact Hrs: 3Course Objectives:Course narrates the principlesand techniques used tomake the networksecure.Thecourseattemptstohelpthestudentsto understandthesecurityterminologyandacronyms,basicand advancesecurityvulnerabilities,sharedkeys, encryption/decryptionalgorithms,etc.Studentswillbeableto design/utilizesecurenetworksonbasisofknowledgeobtained via the course. Course Contents1 Introduction Cryptology and simple cryptosystems2 Conventional encryption techniques3 Stream and Block Ciphers DES; More on Block Ciphers; The Advanced Encryption Standard. Confidentiality & Message authentication: Hash functions; 4 Number Theory and Algorithm Complexity Public key Encryption. RSA and Discrete Logarithms5 Identification Schemes Dial-up security. E-mail security, PGP, S-MIME; Kerberos and directory authentication. Emerging Internet security standards6 SET; SSL and IPsec VPNs; Firewalls; Viruses; Miscellaneous topics.7 Block Ciphers-modes of Operation, Modular Arithmetic8 Diffie-Hellman key exchange9 Mutual authentication protocols10 Denial of service attacks11 Intrusion detection, access control, wormsText Book: W. Stallings, Cryptography and Network SecurityReference: Prentice Hall PTR, Upper Saddle51CS370-Artificial Intelligence Course Code: CS370Pre Requisites:CS110 Fundamental of Computer ProgrammingCredits: 3+1 Contact Hrs: 6Course Objectives:Objectiveforthiscourseistogivethestudentanoverviewof thisfieldwhileatthesametimegivingdepthinthemost fundamentalareas.Coursewillteachstudentsaboutthe differentAItechniquessuchassearching,reasoning,game playingetc.Bytheendofthecourse,studentwouldhavea proficientknowledgeoftheAIfieldandcanutilizetheAI techniques as necessary to solve a problem. Student will also be fluent in using an AI language to write the programs.Course Contents1 Introduction: The Turing Test approach, The cognitive modelling approach, The laws of thought approach, The rational agent approach2 Solving Problems by Searching: Breadth-first search, Uniform cost search, Depth-first search, Depth-limited search, Iterative deepening search, Bidirectional search3 Informed Search Methods: Best-First Search, Heuristic Functions, Memory Bounded Search, Iterative Improvement Search4 Game Playing: Alpha-Beta pruning, Mini max5 Knowledge and Reasoning: A Knowledge-Based Agent, Propositional Logic6 First-Order Logic: Syntax and Semantics, Extensions and Notational Variations, Using First-Order Logic, Deducing Hidden Properties of the world7 Building a Knowledge Base: General Ontology, Representing CategoriesText Book:1. PeterNorvig,ParadigmsofArtificialIntelligence Programming:CasestudiesinCommonLisp,Morgan Kaufman Publishers, Inc. 1992.Reference: 1. GuyL.SteeleJr.,CommonLisptheLanguage,2ndedition, Digital Press, 1990.2. PeterJackson,IntroductiontoExpertSystems,Addison-Wesley Publishing Company, 1986.CS473-Theory of Intelligent SystemsCourse Code:CS473Pre Requisites:CS370 Artificial IntelligenceCredits: 3+1 Contact Hrs: 6Course Objectives:Toacquaintstudentswiththeoryandprinciplesofintelligent systems.Thecoursewillhelpthestudentstodevelopthe knowledgeofintelligentsystemsdesign(control,orderingetc.) basedoncombinationsofvarioustheoriessuchassimulation, neuralnetworks,Bayesian,geneticalgorithms,fuzzysetsand 52reinforcement learning.Course Contents1 Introduction: Well-PosedLearningProblems,ChoosingtheTraining Experience, Choosing the Target Function, Choosing a Representation for the TargetFunction,ChoosingaFunctionApproximationAlgorithm,Issuesin Machine Learning2 ConceptLearningandtheGeneral-to-SpecificOrdering: Aconcept LearningTask:TheNotation,TheInductiveLearningHypothesis,FIND-S: FindingaMaximallySpecificHypothesis,VersionSpacesandthe CANDIDATE-ELIMINATIONAlgorithm,InductiveBias:AnUnbiased Learner3 DecisionTreeLearning: EntropyandInformationGain,Buildingthe Decision Tree, Hypothesis Space Search in Decision Tree Learning, Inductive Bias in Decision Tree Learning, Occams Razor4 ArtificialNeuralNetworks: BiologicalMotivation,NeuralNetwork Representations, The Basic Perceptron, Gradient Descent andthe DeltaRule, Multilayer Networks and the Back propagation Algorithm5 BayesianLearning: BayesTheoremanditssignificanceinintelligent decisionmaking,MAPHypothesesandConsistentLearners,BayesOptimal Classifier6 Evolutionary Algorithms:GeneticAlgorithms: RepresentingHypotheses,GeneticOperators,Fitness Function and Selection, Mathematical FoundationsGenetic Programming: Representing Programs7 LearningSetofRules: LearningFirst-OrderRules,LearningSetsofFirst-Order Rules: FOIL8 ReinforcementLearning: QLearning,NondeterministicRewardsand Actions, Temporal Difference Learning, Generalizing from ExamplesText Book:1. Tom M. Mitchell, Machine Learning, McGraw-Hill, 1997Reference: 1.SoftComputing:IntegratingEvolutionary,Neural,andFuzzy Systems". Tettamanzi, Andrea, Tomassini, Marco, Springer, 2001.2."SoftComputingandIntelligentSystemsDesign:Theory,Tools and Applications" by Fakhreddine O. Karray, Clarence W De Silva, Addison Wesley, 2004.53CS426-Digital Image ProcessingCourse Code: CS426Pre Requisites: Credits: 3+1 Contacts Hrs: 6Course Objectives:Thecourseemphasizestheapplicationofprocessingand analysisof digitalimages.Theprimary objective of thecourse istoprovidestudentswiththeskillsandknowledgetoapply the different kinds of processing on the digital image to develop differentkindofapplicationsoftwares.Coursecoversvarious topicsrangingfromimageenhancementsinfrequencyand spatial domain, image degradation, image restoration etc which provideagoodunderstandingabouttheexistingdigitalimage processing techniques.Course Contents1 IntroductionDigitalImageProcessingComputerVisionandPattern Recognitions 2 Field Usage of DIP, Fundamental steps in DIP Component. 3 DigitalImageFundamentals.ElementofvisualPerception,Image SensingandAcquisitionImageSamplingandQuantization.Pixels operation, linear &Non lineate operation.4 ImageEnhancementinspatialDomain:Background,Greylevel Transformation. Edge detection sharpening.5 Image Enhancing in Frequency Domain, background, Frequency domain, FairedTransformsmarting,Sharpening,Homo-morphicFiltering implementation.6 ImageRestorations.AmodeloftheImageDegradation/Restoration Process, Noise Model, Restoration in the Presence of Noise-spatial filtering, Periodic Noise Reduction by frequency Domain filtering.7 Linear,Position-InvariantDegradation EstimatingtheDegradation. InverseFiltering, Wienerfiltering,MinMeanSquaresError,Filtering constrainedleastsquaresfilteringGeometricmeanfilterand Transformation8 ColourImageProcessing:Colourfundamentals,Colourmodelpseudo-colourImageprocessing,BasicsoffullcolourImageprocessingcolour Transformation 9 Colour Filtering Sharpening, Smoothing, Segmentation, Noise, and colour Image Compression. 10 ImageCompression: Fundamental,Imagecompressionmodels.Elements ofinformationtheory,Errorfreecompression,ImageCompression standards, lossy compression11 ImageSegmentation: DetectionofDiscontinuities,Edgelinking, Boundary detection, Thresholding, Region Based segmentation 12 3 D Imaging: Pattern Recognitions classes, and decision making. Text Book: 1. Digital Image Processing usingMatlab by Gonzalez, Woods and Eddins 54Ref Book: 1.DigitalImageProcessingbyR.C.GonzalezandR.E.Woods, Addison Wesley, Second Ed., 2002.2.ComputerVisionbyLindaShapiroandGeorgeStockman, Prentice- Hall 2001.55CS361-ComputerGraphicsCourse Code:CS361Pre Requisites:CS212 Object Oriented ProgrammingCredits: 3+1 Contact Hrs: 6Course Objectives:Thiscourseis designedtoprovideacomprehensiveintroduction tocomputergraphicsleadingtotheability tounderstand contemporaryterminology,issues,andtrends.Topicscover geometrictransformations,viewporttransformations,software systems(OpenGL),shadingandmapping etc.Coursematerialis structuredtomeettheneedsofbothdesignersandusersof interactive computer graphics systems. Course Contents1 Introduction to Computer Graphics2 ComputerGraphicsSystem: VideoDisplayDevicesandSystems,Raster ScanSystem,GraphicMonitors&Workstation,InputandOutputDevices, Graphic Software and Hardware.3 OutputPrimitiveitsAttributes. PointandLine,Line,CircleEllipse AlgorithmsandFunctions.LoadingFrameBuffer,SpecialCurveDrawing Algorithms,PixelAddressing,FilledAlgorithms.Attributesofline,curve, Area fill and Characters, Antialiasing.4 2DGeometricTransformation: 2D,CompositeandotherTransformations, MatrixRepresentation,TransformationbetweenCoordinateSystem.Affine and Raster Methods for Transformation. 5 2D-Viewing: WindowtoView-portTransformation,2DViewing Function, Clipping in Raster World, Clipping Lines, Curves & Polygons Text6 3DGeometricalTransformation&Viewing: Projections,ViewPlanes& ViewingGeometries,Co-ordinateSystems,MatrixRepresentationof3D Transformations,Composite3DTransformations,VisibleLine&Surface Identification.7 Colour Model: PropertiesofLight,ColourModels(RGB,YIQ,CMY(K), HSV), Conversion between Colour Models.8 Advance Topics:Introduction to Sp line & Curves, Visible Surface Detection, Animation & Simulation.Text Book:1. Computer Graphics by Pauline BakerReference: 2. Computer Graphics:Principles & Practiceby Foley,Van Dam, Feiner & Huges.CS332-Distributed ComputingCourse Code: CS33256Pre Requisites:CS212 Object Oriented ProgrammingCS330 Operating SystemsCredits: 3+1 Contact Hrs: 6Course Objectives:Thecoursewillprovideanintroductiontothedistributed computingconceptsincludingthenetworkoperatingsystems, middleware,client-serversystems,commonlayerapplication protocols(RPC,RMI,streams),distributedprocesses,network naming,distributedsynchronization,anddistributedobject basedsystems. Bythecoursecompletion,the studentwill gain apositiveexposuretotheprofessionalresponsibilitiesthatare part of distributed system design and development.Course Contents1. CharacterizationofDistributedSystems: IntroductiontoDistributed Systems, Examples of Distributed Systems, Resource Sharing and the web 2. System Models: Architectural Models, Fundamental Models3. Inter-processCommunication: Externaldatarepresentationand marshalling,Groupcommunication,CaseStudy:Interprocess Communication in UNIX4. DistributedObjectsandRemoteInvocation: Communicationbetween distributedobjects,Remoteprocedurecall,Eventsandnotifications,Java RMI case study5. OperatingSystemSupport: Theoperatingsystemlayer,Protectionand addressspaces,ProcessesandThreads,Communicationandinvocation, Operating system architecture6. DistributedFileSystems: Fileserverarchitecture,SunNetworkFile System, The Andrew File System7. NameServices:NameservicesandtheDomainNameSystem,Directory and discovery services, Case study of the Global Name Service, Case study of the X.500 Directory Service8. Time andGlobalStates: Clocks, events and process states, Synchronizing physicalclocks,Logicaltimeandlogicalclocks,Globalstates,Distributed debugging9. CoordinationandAgreement: Distributedmutualexclusion,Elections, Multicast communication, Consensus and related problems10. TransactionsandConcurrencyControl: Transactions,Nested transactions, Locks, Optimistic Concurrency Control, Timestamp ordering11. DistributedTransactions: Flat and nested distributed transactions,Atomic commit protocols,Concurrencycontrolindistributedtransactions, Distributed deadlocks, Transaction recovery12. Replication: Systemmodelandgroupcommunication,Fault-tolerant services, Highly available services, Transactions with replicated data13. DistributedSharedMemory:Designandimplementationissues, Sequential consistency and Ivy, Release consistency and Munin14 Mobile Agent ParadigmText Book: 1.DistributedSystems:ConceptsandDesign4thEd.byGeorge Coulouris,JeanDollimoreandTimKindbergAddison-Wesley, Pearson Education 2001.57Reference: 1.Tanenbaum,AndrewS.andvanSteen,Maarten,Distributed Systems,PrinciplesandParadigms.Prentice-Hall,2002(ISBN0-13-088893-1).58CS344-Web EngineeringCourse Code:CS344Pre Requisites:CS212 Object Oriented ProgrammingCredits: 3+1 Contact Hrs: 6Course Objective:With the advancement in the Internet and Web technologies, Web applicationsarebecomingincreasinglypopular.Thiscourse focusesonthedevelopmentofWebapplications basedon softwareengineeringpracticesandmethodologies.Main objectivesofthiscoursearetointroducestudentstovarious analysisanddesigntechniquesforWebapplications,main technologiesbeingusedfortheWebapplicationdevelopment andvariousmethodsfortestingandimprovingWebapplication performance. This course will cover Web technologies according to the latest industrial trends and requirements.Course Outline1 Introduction to Web Engineering2 Requirement Engineering for Web Applications3 Web Applications4 Accessibility5 Client Side Technologies6 Developing Web Applications7 Technologies: CGI and Perl8 Server Side Technologies-I9 Server Side Technologies-II10 Testing, Operation & Maintenance11 Performance of Web ApplicationsText Book: 1.WebEngineering byG.Kappel,B.Proll,S.Reich&W. Retschitzegger (2006), 1stedition. Reference: 1. JSP 2.0: The Complete Reference, Second Edition by Phillip Hanna2. A Little Book on Perl by Robert Sebesta, Prentice Hall. 3. ASP.NET Bible by Mridula Parihar, Essam Ahmed, Jim Chandler, Bill Hatfield, Rick LassanMATH352-Numerical MethodsCourseMATH35259Code:Pre Requisites:MATH111 Calculus-1CS110 Fundamentals of Computer ProgrammingCredits: 2+1 Contact Hrs: 5Course Objectives:Tofamiliarizethestudentswiththefundamentalconceptsin numerical analysis and to enable them to apply materials learned in the course to determine the numerical solutions efficiently and toassessthequalityofthesolutions.Thiscoursewillconsider differentproblemsrangingincludinglinearsystems,differential equation solutions, interpolation, numerical integration etcwhich canhelpthemindevelopingthethroughskillsforprovidingthe numerical solution to any mathematical problem.Course Contents1 Introduction: SourcesofErrorsinnumericalmethods.Errormeasurements, Significant Digits, Precision and Accuracy, Taylors Series.2 SolutionofLinearSystemofEquations: DirectMethods(Matrix factorization,L-Udecompositionmethods).IndirectorIterativeMethods (Jacobis Method, Gauss Siedal Method)3 NumericalSolutionofDifferentialEquations: EulersMethod,Error estimation in Eulers method, Eulers Modified Method, Runge Kutta Method.4 Eigen-Value and Eigen Vectors: Computation using Characteristic Equation, Power method.5 Non-LinearSystemofEquations: Bisectionmethod,MethodofFalse Position, Newton Raphson Method, Secant Method.6 FiniteDifferences: UseofDifferenceTables,DetectionandCorrectionof DifferenceTables,DifferenceOperators(Forward,Backward,Central, Average, Shift Operator).7 Interpolation: NewtonsForwardDifferenceandBackwardDifference Interpolation Formula, Lagranges Method. 8 NumericalDifferentiation:DerivativesusingNewtonsForwardDifference and Backward Difference Formula.9 Numerical Integration: TrapezoidalRule, Simpsons 1/3 and 3/8 Integration rules.Text Book :1.CurtisF.Gerald,AppliedNumericalAnalysis,Addison-Wesley Pub Co, 1989Reference: 1. Richard L. Burden, J. Douglas Faires, Numerical Analysis, Brooks/Cole Pub Co, November 1996.2. Walter Gautschi, Numerical Analysis : An Introduction, Springer Verlag, April 1, 19973. Shoichiro Nakamura, Applied Numerical Methods, Prentice Hall international Edition, 19914.KamalB.Rojiani,ProgramminginCwithNumericalMethods for Engineers, Prentice- Hall, 1996.5. Numerical Analysis, 3 rd Edition Dr SaeedAkther60CS380-Introduction to Computer SecurityCourse Code: CS380Pre Requisites:CS100 Fundamentals of ICTCS110 Fundamentals of Computer ProgrammingCredits: 3+0 Contact Hrs: 3Course Objectives:Thiscourseaimstodevelopanunderstandingofinformation systemssecuritypracticedincomputeroperatingsystems, distributedsystems,networksandrepresentativeapplications.Thestudentswillgainfamiliaritywithprevalentnetworkand distributedsystemattacks,defencesagainstthem,andforensics to investigate the aftermath. The course helps to develop a basic understandingofcryptography,howithasevolved,andsome keyencryptiontechniquesusedtodayanddevelopan understandingofsecuritypolicies(suchasauthentication, integrityandconfidentiality)aswellasprotocolstoimplement such policies in the form of message exchanges.Course Contents1 Confidentiality, integrity, and availability 2 Operational issues, cost-benefit and risk analyses, legal and human factors 3 Planning and implementing effective access control 4 Defining security, confidentiality, and integrity policies5 Access Control Models6 Using cryptography and public-key systems, and recognizing their limits7 Understanding and using authentication: from passwords to biometrics 8 Securitydesignprinciples:least-privilege,fail-safedefaults,opendesign, economy of mechanism, and more9 Controlling information flow through systems and networks 10 Assuring security throughout the system lifecycle 11 Malicious logic: Trojan horses, viruses, bootsector and executable infectors, rabbits, bacteria, logic bombs--and defences against them 12 Vulnerabilityanalysis,penetrationstudies,auditing,andintrusiondetection and prevention 13 Applying security principles to networks, systems, users, and programs14 Database Security Issues15 Physical SecurityText Book: 1. Security in computing by Charles P. Pfleeger2. Computer security by Deter GollmanReference: 1.An Introduction toComputer Security:TheNistHandbook,by Barbara Guttman2. Introduction to Computer Security By Matt Bishop61CS481-Computer ForensicsCourse Code: CS481Pre Requisites:CS380 Introduction to Computer SecurityCredits: 3+1 Contact Hrs: 6Course Objectives:Thecourseaimstohelpstudentsindevelopingabilitiesto determine whether organizational processes for the collection, preservation,presentationandpreparationofcomputer-based evidenceareappropriate