CIS 644: Object-Oriented Software Development

Topics: Object models, concepts of classes and objects, dynamic models, comparison of design methods, relationship to object-oriented languages, tools for design and program construction, design and prototype project.

Prerequisites: CIS 501

Web Page: 644

 CIS 725: Computer Networks

Topics: algorithms for routing and congestion control; protocol engineering including protocol decomposition, specification and verification, and synthesis; protocols for high speed networks and parallel implementations, light-weight protocols.

Prerequisites: CIS 525

Web Page:  725

 CIS 726: Advanced World Wide Web Technologies

Topics: technologies that make up the World Wide Web. WWW site designs and analysis, WWW software architecture, server-side technologies, dynamic executable scheduling, digital libraries, WWW security.

Prerequisites: CIS 520, CIS 525

Web Page:  726

 CIS 740 Software Engineering

Topics: areas of software engineering including: software life cycle models, requirements, design, software measurement, cost estimation, testing, reliability, maintenance, and re-engineering.

Prerequisites: CIS 540

Web Page:  740

 CIS 746 Software Measurement

Topics: theory of software measurement, model-order-mapping, measure validation; application to software management.

Prerequisites: CIS 540

Web Page:  746

 CIS 748 Software Management

Topics: management of software development including planning, process models, TQM and SQA, estimation, organization, and configuration management.

Prerequisites: CIS 540

Web Page:  748

 CIS 761  Data Base Management Systems

Topics: Data models and languages, hierarchical, network, relational systems; implementation and operational requirements; programming projects using data base management systems.

Prerequisites: CIS 560 & CIS 604

Web Page:  761

 CIS 764 Database Design

Topics: logical, physical, and user interface design of databases; data models, query languages, tools for the design and development of databases, applications with graphical user interfaces.

Prerequisites: CIS 501

Web Page: 

 CIS 771 Software Specification

Topics: formal specifications of program components with emphasis on the composition of well-crafted specifications and the formal verification of specifications. Pre-requisites: Symbolic Logic.

Prerequisites: CIS 604

Web Page:  771

 CIS 826 Protocol Engineering

Topics: protocol design, specification languages and formal description techniques, safety and liveness properties, protocol validation, protocol synthesis, protocol translation, implementation, conformance testing.

Prerequisites: CIS 725

Web Page: 

 CIS 841 Software Validation

Topics: verification and validation of software; theory of testing and reliability.

Prerequisites:  CIS 740

Web Page:  841

 CIS 842 Specification and Verification of Reactive Systems

Topics: composition and verification of specifications, temporal logic for specification of system properties.

Prerequisites: CIS 771

Web Page:  842

 CIS 844 Agent Oriented Software Engineering

Topics: This course will look at the agent-oriented paradigm as an approach to analyzing, designing, and implementing large, complex, distributed, and adaptive software systems. The course will explore the three key concepts associated with Agent-Oriented Software Engineering action, interaction, and organization and how to integrate them into the software development lifecycle. The course will also look at various modeling languages for multiagent paradigm including the Agent Unified Modeling Language (AUML) as well as traditional languages such as finite state automata, Petri nets, and sequence diagrams. Finally the course will look at a number of the current agent-oriented methodologies for analyzing and designing multiagent systems.

Prerequisites: CIS 730 & CIS 740

Web Page:  844

 CIS 864 Data Engineering

Topics: database design and maintenance including performance monitoring, database tuning, dictionaries, selection of file and index structures, query optimization, recovery, and security; distributed data systems and interoperability.

Prerequisites: CIS 761 or 764

Web Page:  864

 CIS 895 MSE Project (6 hours)

Topics: This is the capstone requires development and documentation of some software, including reviews and walkthroughs of the requirements, design and implementation. Documentation of this software project will be the major portion of the student's "software portfolio", which should contain representative samples of a student's software engineering expertise.

This process typically takes more than one semester to complete.

Prerequisites: CIS 740, CIS748, CIS 771, plus three additional credits toward the MSE

Web Page: