|
|
|
|
|
|
|
|
|
|
Course Criteria
Add courses to your favorites to save, share, and find your best transfer school.
-
3.00 Credits
Prerequisites: Junior standing, eligible for department honors program The project courses required for completion of the departmental honors program. A significant experience in developing a computer system (typically), but equivalent alternatives are allowed. This system should require an extensive design effort prior to implementation and a serious effort for this implementation. It should have scholarly and/or practical value and might well profit by being interdisciplinary in nature.
-
3.00 Credits
Prerequisites: Junior standing, eligible for department honors program The project courses required for completion of the departmental honors program. A significant experience in developing a computer system (typically), but equivalent alternatives are allowed. This system should require an extensive design effort prior to implementation and a serious effort for this implementation. It should have scholarly and/or practical value and might well profit by being interdisciplinary in nature.
-
0.00 - 9.00 Credits
Conditions and hours to be arranged Prerequisites: Upper-division standing; permission of instructor, department chairperson, and college dean
Study under the supervision of a faculty member in an area not otherwise part of the discipline’s course offerings. Conditions and hours to be arranged.
-
3.00 Credits
Conditions and hours to be arranged Prerequisites: Permission of the instructor, department chairperson, and college dean Study under the supervision of a faculty member in an area covered in a regular course not currently being offered.
-
4.00 Credits
Part I of two-semester sequence of team development of a software product for a specific customer. This capstone project utilizes and integrates knowledge and skills acquired through study of software engineering. Provides hands-on experience with large-scale problem from conception to implementation of the solution. Is conducted in a framework of well-defined low-ceremony software process. The lecture covers software engineering models, quality management, risk management, and provides introduction to software processes. Technical, logistical, and social issues associated with software development are addressed.
-
3.00 Credits
Part II of two-semester sequence of team development of a software product for a specific customer. This capstone project utilizes and integrates knowledge and skills acquired through study of computer science. Provides hands-on experience with large-scale problem from conception to implementation of the solution. Is conducted in a framework of well-defined low-ceremony software process. The lecture covers advanced software process issues including software process improvement, and total quality management at the team and enterprise levels
-
3.00 Credits
Prerequisites: CIS 361 or equivalent, or permission of instructor Computability of sets and functions in terms of various computation models, Church-Turing thesis. Systems of recursion equations and Post canonical systems are studied. Properties of the classes of recursive functions, recursive sets, and recursively enumerable sets are also covered.
-
3.00 Credits
Prerequisites: CIS 360 or equivalent, or permission of instructor Evaluation of algorithms concerning their time and space complexity. Complexity hierarchies, axiomatic approach to computational complexity, NP complete problems, approximation algorithms for these problems.
-
3.00 Credits
Prerequisites: CIS 361 or equivalent, or permission of instructor Design and development of parallel and distributed systems. This course provides state-of-the art presentation of software development for parallel and distributed systems. A systematic model-based approach has been applied across stages of software development. Various versions of Petri nets are used to model, specify, validate, and verify correctness of parallel and distributed systems. Performance is also assessed based on stochastic Petri nets. Rapid prototyping of parallel and distributed systems with automatic code generation is an ultimate goal of his course. Comparison with other approaches is also provided.
-
3.00 Credits
Prerequisites: CIS 360 or equivalent, or permission of instructor Introduction to logic, type theory, and the lambda calculus. The course examines LISP as a first application of these ideas, consistency proofs using cut elimination and type theory, and constructive type of theory in functional programming languages in attempts to achieve program verification and automatic code generation.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Privacy Statement
|
Terms of Use
|
Institutional Membership Information
|
About AcademyOne
Copyright 2006 - 2025 AcademyOne, Inc.
|
|
|