|
|
|
|
|
|
|
|
|
|
Course Criteria
Add courses to your favorites to save, share, and find your best transfer school.
-
3.00 Credits
Prerequisites: CIS 480 or equivalent Formal foundation of the theory and practice of software specification; production of correct, consistent, and reliable software systems by expressing the requirements of the system in formal ways. Formal and informal requirements analysis and specification techniques, the relation of analysis and specification to concerns of validation and verification, maintenance, and reusability.
-
3.00 Credits
Prerequisites: CIS 480 or equivalent Principles and techniques for obtaining an architectural design from a system specification. Where appropriate, automated software design tools are used to demonstrate particular methodology. The relation of various design methods to the production of quality software that meets its specification, and the relation of design method to other life-cycle aspects. Design methods, design tools, the design process, and particular application domains for design techniques.
-
3.00 Credits
Prerequisites: CIS 443 or equivalent, or permission of instructor Software engineering principles and methodologies. Also considered are issues related to the life cycle of large systems developed in ADA, software engineering of real-time, fault-tolerant and distributed systems, and software reuse.
-
3.00 Credits
Prerequisites: Permission of instructor Techniques of formal definition of programming languages, semantics of programming languages, programming styles, and language effects on software production. Introduces current trends in programming such as language features of problem-oriented and object-oriented programming,and analysis and design of user-oriented application languages.
-
3.00 Credits
Prerequisites: CIS 452 or equivalent, or permission of instructor The relational, hierarchical, and network approaches to database systems, including relational algebra and calculus, data dependencies, normal forms, data semantics, query optimization, and concurrency control on distributed database systems.
-
3.00 Credits
Prerequisites: CIS 454 or equivalent, or permission of instructor Three-dimensional graphics including: color, shading, shadowing and texture, hidden surface algorithms. An extensive project will be assigned, including documentation and presentation.
-
3.00 Credits
Prerequisites: CIS 360, 361, or equivalents Theoretical basis of the development of computer science. The course details particular formalisms used in the design of hardware and software systems. Intrinsic limitations of computation are described. Advanced topics of automata theory and analysis of algorithms are included. The course also covers Turing machines, the halting problem, models of computation, intractable computations, polynomial reductions, P vs. NP, parallel algorithms, various formal descriptions and specifications of programs and computations, and proofs of program correctness and interactive proof systems.
-
3.00 Credits
Expert system architectures: forward-production, logic programming, deductive retrieval, and semantic network systems. The course also treats natural language systems, illustrative working systems, and AI programming.
-
3.00 Credits
Introduction to multiagent systems and distributed artificial intelligence. The course examines the issues that arise when groups or societies of autonomous agents interact to solve interrelated problems. Topics include defining multiagent systems and their characteristics, reasoning about agents’ knowledge and beliefs, distributed problem solving and planning, coordination and negotiation, the organization and control of complex, distributed multiagent systems, learning in multiagent systems, and applications in the following domains: internet information gathering, electronic commerce, virtual markets, workflow management, distributed sensing network, distributed planning and resource allocation.
-
3.00 Credits
Prerequisites: Graduate standing The theory, software and hardware for autonomous mobile robots. Reactive behavior-based, deliberative goal-based, and utility-based robotic architectures will be presented. Control and planning under bounded resources will be covered. Interaction with environment using sensors and actuators, robot kinematics and dynamics, reinforcement and evolutionary learning techniques for intelligent robots, interaction of competing and cooperating multi-robot systems will be presented. Various applications of mobile robots will be explored.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Privacy Statement
|
Terms of Use
|
Institutional Membership Information
|
About AcademyOne
Copyright 2006 - 2025 AcademyOne, Inc.
|
|
|