Program learning outcomes

MS Software Engineering aims at achieving the following learning outcomes in the students by the time of graduation:

Second Semester

Fourth Semester

List of Elective Courses

(This list is not exhaustive and new courses can be added to this category at any time depending upon availability of the instructor)

Course Specifications

Advanced Software Requirements Engineering

Role of requirements engineering in system development, Fundamental concepts and activities of requirements engineering, Information elicitation techniques, Fundamentals of goal-oriented requirements engineering, Modeling behavioral goals, Modeling quality goals, Goal modeling heuristics, Deriving operational requirements from goals, Requirements Specification, Requirements verification and validation, Management of inconsistency and conflict, requirements engineering risks, requirement change control board and process, the role of quality goals in the requirements selection process, Techniques for requirements evaluation, selection and prioritization; Requirements management; Requirements traceability and impact analysis.

Software Quality Assurance and Testing

What Is Software Quality: Quality Assurance, Quality Engineering Software Testing: Testing: Concepts, Issues, and Techniques, Test Activities, Management, and Automation, Coverage and Usage Testing Based on Checklists and Partitions, Input Domain Partitioning and Boundary Testing, Coverage and Usage Testing Based on Finite-State Machines and Markov Chains, Control Flow, Data Dependency, and Interaction Testing, Testing Techniques: Adaptation, Specialization, and Integration. Quality Assurance Beyond Testing: Defect Prevention and Process Improvement, Software Inspection, Formal Verification, Fault Tolerance and Failure Containment, Comparing Quality Assurance Techniques and Activities. Quality Assurance Beyond Testing: Defect Prevention and Process Improvement, Software Inspection, Formal Verification, Fault Tolerance and Failure Containment, Comparing Quality Assurance Techniques and Activities. Quantifiable Quality Improvement: Feedback Loop and Activities for Quantifiable Quality Improvement, Quality Models and Measurements, Defect Classification and Analysis. Risk Identification for Quantifiable Quality Improvement, Software Reliability Engineering.

Advanced Software System Architecture

Definition and overview of software architecture, the architecture business cycle, Understanding and achieving quality attributes, Attribute-driven design, Documenting software architecture, Evaluating software architecture, Architecture reuse Life-cycle view of architecture design and analysis methods, The QAW, a method for eliciting critical quality attributes, such as availability, performance, security, interoperability, and modifiability, Architecture Driven Design, Evaluating a software architecture (ATAM, CBAM, ARID), Principles of sound documentation, View types, styles, and views; Advanced concepts such as refinement, context diagrams, variability, software interfaces, and how to document interfaces; Documenting the behavior of software elements and software systems; Choosing relevant views; Building a documentation package, Future of Software Design, Architecture Description Languages, Introduction to AADL , AADL: Continued , Testing Architectures, Feature Modeling in SPLs, Testing a Family of Products.

MS (SE) Elective Courses

Software Risk Management            

Risk-Management Discovery, Risk-Management Process, Process steps, inputs, and outputs, Methods and tools, reusable process component. Risk-Management Infrastructure, Training metrics, establishing a baseline for quantitative process improvement, infrastructure, there is no strategic plan in place to institutionalize risk management. Senior managers, engineering managers, and change agents should benefit from these organizational building blocks. Risk-Management Implementation, standard process, Risk management activities, lifecycle planning, budgeting, scheduling, and staffing. Crisis and Control, risk-management evolution stages, Effective and ineffective practices.

Software Measurements & Metrics          

Introduction to foundations of measurement theory, models of software engineering measurement, software products metrics, software process metrics and measuring management. Measurement theory (overview of software metrics, basics of measurement theory, goal-based framework for software measurement, empirical investigation in software engineering). Software product and process measurements (measuring internal product attributes: size and structure, measuring external product attributes: quality, measuring cost and effort, measuring software reliability, software test metrics, object-oriented metrics) Measurement management.

Software Configuration Management    

Source Code Management, Build Engineering, Environment Configuration, Change Control, Release Management, Deployment, Architecting Your Application for CM, Hardware Configuration Management, Rightsizing Your Processes, Overcoming Resistance to Change, Personality and CM: A Psychologist Loods at the Workplace, Learning from Mistakes, Establishing IT Controls and Compliance, Industry Standards and Framework.

Component Based Software Engineering          

Introduction to CBSE, Reuse, Basic Concepts in CBSE, Modeling components with UML, Open-COM component model, Fractal component model, Component Models and Technology, Component contracts component specification techniques, Component integration and Predictable composition, Service Oriented Computing - Key Concepts and Principles, SOA.

Design Patterns

Overview of Object-Oriented Analysis and Design, Design Patterns (Concepts, Major issues, Reuse of ideas), Creational Patterns, Structural Patterns, Behavioral Patterns. Applications of design patterns for: Organization of Work, Access Control, Service Variation and Service Extension, Object Management and Adaptation, Architectural Patterns, Patterns for Distribution, Patterns for Interactive Systems, Adaptable Systems. Frameworks and Patterns, Idea of frameworks, Patterns for flexibility, achieving benefits of frameworks, Failures of frameworks.

Complex Networks  

What are networks and why networks, Erdos-Renyi random, small-world and scale-free network models, Calculation of basic measures in networks, Degree and eccentricity Centrality, Shortest path between start and end nodes, case study of calculation, Clustering coefficient, Matching index and case study, Network tools overview, Pajek, Network Workbench, Gephi, Visone, Cytoscape, Centibin, Network Simulation (Agent-based simulation of networks), Biological networks, Social Networks, Scientometric study using Networks, Modelling Communication Networks as graphs/networks, Disk Graph models such as WSNs.

Agent-Based Modeling                     

Introduction to Agent-based Models, Introduction to NetLogo, Describing ABMs, First ABM Development, Animation to Science, Model Verification & Validation, Emergence, Adaptive Behavior, Prediction, Cognitive AB Computing Framework, Complex Network Modeling, Exploratory AB Modeling, Descriptive AB Modeling, Validated AB Modeling.

Formal Methods

Introduction to Formal methods, Introducing Z, Elements of Z, Logic, Using Predicates in Z, Schemas and Schema Calculus, Formal Reasoning, Case Studies in Z, Computer Graphics and Computational Geometry. Rule-Based Programming, Graphical User Interface, Safety-Critical Protection System, Modeling Large Systems, Object-Oriented Programming Model and Z, Concurrency and Real-time, Refinement, Program Derivation and Formal Verification, Converting Z into Code.

BS in Computer Science/Bachelor of Computer Science/MSc in Computer Science, BSIT, BS in Software Engineering 4-year, BS Telecommunication or equivalent degree from HEC recognized university/ Institute with a minimum CGPA 2.00/4.00 or first division in annual system.

1. The applicant must pass NTS/NTU-GAT (General) test with minimum 50/100 marks prior to apply (please see Test Banner for more information on main page of this website).
2. The applicant must not be already registered as a student in any other academic program in Pakistan or abroad.
3. Result waiting applicants may apply for admission, however their merit will be finalized only on submission of final BS/M.Sc or equivalent official transcript or degree.
4. Relevant Admission Committee will determine relevancy of terminal degree and decide deficiency course/s (if any) at the time of admission interview, the detail of which will be provided to the student in his/her admission letter/email.
5. Deficiency course/s will be treated as non-credit and qualifying course/s for which student will also pay extra dues as per fee policy. Those course/s will neither be mentioned in student’s final transcript nor will be included for calculation of CGPA. However, the student may obtain his/her a separate transcript for completion of deficiency course/s.

Note: The student will submit his/her publication from his/her thesis research work and submit to his/her supervisor. Final defense will be held after the submitted publication of student will be notified as “Under Review” or “Under Consideration” by a journal. It will be compulsory for graduate student to include his/her Supervisor’s name in his/her publication.

Merit Criteria

Admission merit list will be prepared according to the following criteria.

SEMESTER-WISE PAYMENT IN PAK RUPEES

Click Here to Apply