Page 257 - University Bulletin
P. 257

SE421          Software Metrics
               Credits: 3 (3,0,1)    Prerequisites: Senior Level
                   This  course  covers  concepts  of  the  pervasive  system  attributes:  reliability,  efficiency,
                   maintainability, reusability, etc., software quality management processes, software complexity
                   and measures, software process measures, product measures and resource measure, validation
                   of software measures, software measures and measurement theory, measuring, monitoring and
                   controlling reliability, and software quality tools.

               SE422          Software Maintenance and Evolution
               Credits: 3 (3,0,1)    Prerequisites: SE401
                   This course provides students with a common understanding of software maintenance principles
                   and software evolution. Key issues in software maintenance, maintenance process, techniques for
                   maintenance, software maintenance tools, maintenance and Reengineering, reverse engineering,
                   and refactoring.

               SE423          Software Engineering Project Management
               Credits: 3 (3,0,1)    Prerequisites: Junior Level
                   This course covers the main knowledge areas of project management (time, cost, quality, scope,
                   risk, human resources, communications, etc.) by focusing on software projects. It also covers
                   project  planning,  cost  estimation,  earned-value  analysis  techniques  and  scheduling,  project
                   management tools, factors influencing productivity and success, productivity metrics, analysis of
                   options,  risk  management  and  dynamic  adjusting  of  project  plans,  planning  for  change,
                   management  of  expectations,  software  contracts  and  intellectual  property,  approaches  to
                   maintenance and long-term software development, standards in project management, such as
                   ISO10006, ISO12207, along with CMM model will be also discussed. Case studies of real industrial
                   projects will be discussed.

               SE430          Software Processes and Process Improvements
               Credits: 3 (3,0,1)    Prerequisites: SE401
                   Developing reliable software on time and budget is a challenging issue for many organizations. A
                   software process improvement focus offers the organization a better chance for success. In this
                   course, software process improvement methods, models and techniques will be studied with a
                   focus on software development practice. Topics that are covered in the course range from how to
                   assess software development organizations capability to how an organization can take advantage
                   of change artistry.

               SE436          Service Oriented Architectures
               Credits: 3 (3,0,1)    Prerequisites: SE322
                   This course covers service-oriented architectures. The main purpose of this course is to introduce
                   the major concepts and technologies relating to service-oriented architectures. This includes the
                   core  architecture,  main  principles  of  service  orientation,  service-oriented  analysis,  service-
                   oriented design, and business process design.

               SE444          Formal Methods and Models in Software
               Credits: 3 (3,0,1)    Prerequisites: Senior Level
                   This course is an introduction to the use of formal methods for the specification, design, and
                   automatic analysis of software systems. A variety of specification notations such as propositional
                   and predicate logic, UML/OCL, temporal logic are presented.  In addition, the course covers the
                   application of analysis techniques including theorem proving, constraint checking, model checking
                   using existing commercial and research tools.


                                                           245                 PSU UNDERGRADUATE BULLETIN
   252   253   254   255   256   257   258   259   260   261   262